3 papers
cs.RO2026
Explaining Failures of Cyber-Physical Systems with Actual Causality
Khen Elimelech, Tom Yaacov, David A. Kelly +2
Modern autonomous Cyber-Physical Systems (CPSs), such as self-driving cars, face increasingly complex demands, and yet are expected to act reliably. The black-box nature often char…
cs.AI2026
TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
Yuliia Suprun, Khen Elimelech, Lydia E. Kavraki +1
Task planning with temporally extended goals (TEGs) is a critical challenge in AI and robotics, enabling agents to achieve complex sequences of objectives over time rather than add…
cs.RO2024
Falsification of Autonomous Systems in Rich Environments
Khen Elimelech, Morteza Lahijanian, Lydia E. Kavraki +1
Validating the behavior of autonomous Cyber-Physical Systems (CPS) and Artificial Intelligence (AI) agents, which rely on automated controllers, is an objective of great importance…