497 citations · 2.1k across the 297 of their papers we have counts for
Showing 2018 · cs.ROShow all
2 papers · 2 filters
cs.RO2018★ 3 cited
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments
Ye Zhao, Yinan Li, Luis Sentis +2
Contact-based decision and planning methods are becoming increasingly important to endow higher levels of autonomy for legged robots. Formal synthesis methods derived from symbolic…
cs.RO2018★ 1 cited
Counterexamples for Robotic Planning Explained in Structured Language
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang +1
Automated techniques such as model checking have been used to verify models of robotic mission plans based on Markov decision processes (MDPs) and generate counterexamples that may…