1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.RO2023
Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm
Himani Sinhmar, Hadas Kress-Gazit
We present a decentralized control algorithm for a robotic swarm given the task of encapsulating static and moving targets in a bounded unknown environment. We consider minimalist…
cs.RO2022
Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks
Adam Pacheck, Hadas Kress-Gazit
A typical approach to creating complex robot behaviors is to compose atomic controllers, or skills, such that the resulting behavior satisfies a high-level task; however, when a ta…
cs.RO2014★ 1 cited
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors
Vasumathi Raman, Hadas Kress-Gazit
With the increasing ubiquity of multi-capable, general-purpose robots arises the need for enabling non-expert users to command these robots to perform complex high-level tasks. To…