3 citations · 9 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 3 cited
Robot Action Selection Learning via Layered Dimension Informed Program Synthesis
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. Su…
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…