85 citations · 147 across the 30 of their papers we have counts for
Showing 2020 · cs.ROShow all
2 papers · 2 filters
cs.RO2020
Curating Long-term Vector Maps
Samer Nashed, Joydeep Biswas
Autonomous service mobile robots need to consistently, accurately, and robustly localize in human environments despite changes to such environments over time. Episodic non-Markov L…
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…