Search Results for author: Jarrett Holtz

Found 5 papers, 5 papers with code

STEADY: Simultaneous State Estimation and Dynamics Learning from Indirect Observations

1 code implementation2 Mar 2022 Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas

Accurate kinodynamic models play a crucial role in many robotics applications such as off-road navigation and high-speed driving.

Iterative Program Synthesis for Adaptable Social Navigation

1 code implementation8 Mar 2021 Jarrett Holtz, Simon Andrews, Arjun Guha, Joydeep Biswas

Robot social navigation is influenced by human preferences and environment-specific scenarios such as elevators and doors, thus necessitating end-user adaptability.

Program Synthesis Robotics Programming Languages

Robot Action Selection Learning via Layered Dimension Informed Program Synthesis

1 code implementation10 Aug 2020 Jarrett Holtz, Arjun Guha, Joydeep Biswas

Action selection policies (ASPs), used to compose low-level robot skills into complex high-level tasks are commonly represented as neural networks (NNs) in the state of the art.

Autonomous Driving Program Repair

Interactive Robot Transition Repair With SMT

2 code implementations5 Feb 2018 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.

Robotics Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.