@misc{indiciaec01c40748435,
  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},
  year = {2023},
  url = {https://arxiv.org/abs/2303.05394},
  note = {Source identifier: 2303.05394}
}