25 citations · 65 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
eess.SY2023
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-…
cs.FL2023
Timed Partial Order Inference Algorithm
Kandai Watanabe, Bardh Hoxha, Danil Prokhorov +4
In this work, we propose the model of timed partial orders (TPOs) for specifying workflow schedules, especially for modeling manufacturing processes. TPOs integrate partial orders…