%0 Conference Paper %1 conf/iccps/HashemiH0PFD23 %A Hashemi, Navid %A Hoxha, Bardh %A Yamaguchi, Tomoya %A Prokhorov, Danil V. %A Fainekos, Georgios %A Deshmukh, Jyotirmoy %B ICCPS %D 2023 %E Mitra, Sayan %E Venkatasubramanian, Nalini %E Dubey, Abhishek %E Feng, Lu %E Ghasemi, Mahsa %E Sprinkle, Jonathan %I ACM %K dblp %P 98-109 %T A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems. %U http://dblp.uni-trier.de/db/conf/iccps/iccps2023.html#HashemiH0PFD23

@inproceedings{conf/iccps/HashemiH0PFD23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Hashemi, Navid and Hoxha, Bardh and Yamaguchi, Tomoya and Prokhorov, Danil V. and Fainekos, Georgios and Deshmukh, Jyotirmoy}, biburl = {https://www.bibsonomy.org/bibtex/210bf4bb585ff6fecbf30345b094b2395/dblp}, booktitle = {ICCPS}, crossref = {conf/iccps/2023}, editor = {Mitra, Sayan and Venkatasubramanian, Nalini and Dubey, Abhishek and Feng, Lu and Ghasemi, Mahsa and Sprinkle, Jonathan}, ee = {https://doi.org/10.1145/3576841.3585928}, interhash = {e6f7ad2d57d6ff032ea41c161292fa3f}, intrahash = {10bf4bb585ff6fecbf30345b094b2395}, keywords = {dblp}, pages = {98-109}, publisher = {ACM}, timestamp = {2024-04-09T21:46:00.000+0200}, title = {A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning-enabled Control Systems.}, url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2023.html#HashemiH0PFD23}, year = 2023 }