%0 Conference Paper %1 conf/cdc/WangKK22 %A Wang, Jun %A Kalluraya, Samarth %A Kantaros, Yiannis %B CDC %D 2022 %I IEEE %K dblp %P 4004-4009 %T Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2022.html#WangKK22 %@ 978-1-6654-6761-2

@inproceedings{conf/cdc/WangKK22, added-at = {2024-01-17T00:00:00.000+0100}, author = {Wang, Jun and Kalluraya, Samarth and Kantaros, Yiannis}, biburl = {https://www.bibsonomy.org/bibtex/29ca31dcc1dcf6dead474fc627d2cdb76/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2022}, ee = {https://doi.org/10.1109/CDC51059.2022.9993010}, interhash = {383d3e0ac7221b8fc715a9664f59d64c}, intrahash = {9ca31dcc1dcf6dead474fc627d2cdb76}, isbn = {978-1-6654-6761-2}, keywords = {dblp}, pages = {4004-4009}, publisher = {IEEE}, timestamp = {2024-04-09T15:28:14.000+0200}, title = {Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2022.html#WangKK22}, year = 2022 }