74 citations · 80 across the 3 of their papers we have counts for
4 papers · 1 filter
Iterative Program Synthesis for Adaptable Social Navigation
Jarrett Holtz, Simon Andrews, Arjun Guha +1
Robot social navigation is influenced by human preferences and environment-specific scenarios such as elevators and doors, thus necessitating end-user adaptability. State-of-the-ar…
SMT-based Robot Transition Repair
Jarrett Holtz, Arjun Guha, Joydeep Biswas
State machines are a common model for robot behaviors. Transition functions often rely on parameterized conditions to model preconditions for the controllers, where the correct val…
Automatic Failure Recovery for End-User Programs on Service Mobile Robots
Jenna Claire Hammond, Joydeep Biswas, Arjun Guha
For service mobile robots to be most effective, it must be possible for non-experts and even end-users to program them to do new tasks. Regardless of the programming method (e.g.,…
Interactive Robot Transition Repair With SMT
Jarrett Holtz, Arjun Guha, Joydeep Biswas
Complex robot behaviors are often structured as state machines, where states encapsulate actions and a transition function switches between states. Since transitions depend on phys…