85 citations · 146 across the 28 of their papers we have counts for
Showing 2018 · cs.ROShow all
2 papers · 2 filters
cs.RO2018
Localization under Topological Uncertainty for Lane Identification of Autonomous Vehicles
Samer B. Nashed, David M. Ilstrup, Joydeep Biswas
Autonomous vehicles (AVs) require accurate metric and topological location estimates for safe, effective navigation and decision-making. Although many high-definition (HD) roadmaps…
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…