59 citations · 68 across the 20 of their papers we have counts for
4 papers · 1 filter
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…
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…
Dynamic Programming for Symbolic Boolean Realizability and Synthesis
Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
Inspired by recent progress in dynamic programming approaches for weighted model counting, we investigate a dynamic-programming approach in the context of boolean realizability and…
Stochastic Games for Interactive Manipulation Domains
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian +2
As robots become more prevalent, the complexity of robot-robot, robot-human, and robot-environment interactions increases. In these interactions, a robot needs to consider not only…