1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…