31 citations · 85 across the 19 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.RO2013★ 18 cited
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning
Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova +3
This paper studies the problem of control strategy synthesis for dynamical systems with differential constraints to fulfill a given reachability goal while satisfying a set of safe…
cs.RO2013★ 1 cited
Minimum-violation LTL Planning with Conflicting Specifications
Jana Tumova, Luis I. Reyes Castro, Sertac Karaman +2
We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as "Vehicle x must eventually visi…