2 papers
cs.SE2024
Constrained LTL Specification Learning from Examples
Changjian Zhang, Parv Kapoor, Ian Dardik +4
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime mon…
eess.SY2024
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
Changjian Zhang, Parv Kapoor, Eunsuk Kang +5
Cyber-physical systems (CPS) with reinforcement learning (RL)-based controllers are increasingly being deployed in complex physical environments such as autonomous vehicles, the In…