Showing cs.ROShow all
3 papers · 1 filter
cs.RO2021
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…
cs.RO2020
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…
cs.RO2018
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…