17 citations · 17 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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.RO2024
Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs
Khen Elimelech, James Motes, Marco Morales +3
Multi-Robot Task Planning (MR-TP) is the search for a discrete-action plan a team of robots should take to complete a task. The complexity of such problems scales exponentially wit…