17 citations · 17 across the 6 of their papers we have counts for
3 papers · 1 filter
Causal Analysis of Failures of Cyber-Physical Systems with Continuous Inputs
Tom Yaacov, David A. Kelly, Khen Elimelech +1
Modern autonomous Cyber-Physical Systems (CPSs), such as self-driving cars, operate in increasingly complex environments while expected to maintain high reliability. The black-box…
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…
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…