Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}