2 papers
cs.LG2025
Automata Learning from Preference and Equivalence Queries
Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri
Active automata learning from membership and equivalence queries is a foundational problem with numerous applications. We propose a novel variant of the active automata learning pr…
cs.RO2025
Deadlock-free, Safe, and Decentralized Multi-Robot Navigation in Social Mini-Games via Discrete-Time Control Barrier Functions
Rohan Chandra, Vrushabh Zinage, Efstathios Bakolas +2
We present an approach to ensure safe and deadlock-free navigation for decentralized multi-robot systems operating in constrained environments, including doorways and intersections…