2023conference

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems

Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi, Danil Prokhorov, Geogios Fainekos, Jyotirmoy Deshmukh

ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023

Topics: Learning-based Control and Analysis

Citation

@inproceedings{ICCPS2023,
  title = {A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems},
  author = {Navid Hashemi and Bardh Hoxha and Tomoya Yamaguchi and Danil Prokhorov and Geogios Fainekos and Jyotirmoy Deshmukh},
  booktitle = {ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2023},
  year = {2023},
  url = {https://arxiv.org/pdf/2303.05394},
  keywords = {Learning-based Control and Analysis}
}