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

Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi +3

Signal Temporal Logic (STL) has become a popular tool for expressing formal requirements of Cyber-Physical Systems (CPS). The problem of verifying STL properties of neural network-…