TY  - RPRT
TI  - A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
AU  - Navid Hashemi
AU  - Bardh Hoxha
AU  - Tomoya Yamaguchi
AU  - Danil Prokhorov
AU  - Geogios Fainekos
AU  - Jyotirmoy Deshmukh
PY  - 2023
UR  - https://arxiv.org/abs/2303.05394
ID  - 2303.05394
ER  -