2 citations · 3 across the 2 of their papers we have counts for
2 papers
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…
cs.RO2012★ 2 cited
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Maria Svorenova, Jana Tumova, Jiri Barnat +1
Our goal in this paper is to plan the motion of a robot in a partitioned environment with dynamically changing, locally sensed rewards. We assume that arbitrary assumptions on the…