2 papers
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…
cs.RO2021
Efficient Belief Space Planning in High-Dimensional State Spaces using PIVOT: Predictive Incremental Variable Ordering Tactic
Khen Elimelech, Vadim Indelman
In this work, we examine the problem of online decision making under uncertainty, which we formulate as planning in the belief space. Maintaining beliefs (i.e., distributions) over…