8 citations · 15 across the 4 of their papers we have counts for
4 papers
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…
Rebalancing the Rebalancers: Optimally Routing Vehicles and Drivers in Mobility-on-Demand Systems
Stephen L. Smith, Marco Pavone, Mac Schwager +2
In this paper we study rebalancing strategies for a mobility-on-demand urban transportation system blending customer-driven vehicles with a taxi service. In our system, a customer…
Road Pricing for Spreading Peak Travel: Modeling and Design
Tichakorn Wongpiromsarn, Nan Xiao, Keyou You +4
A case study of the Singapore road network provides empirical evidence that road pricing can significantly affect commuter trip timing behaviors. In this paper, we propose a model…
Optimal Path Planning under Temporal Logic Constraints
Stephen L. Smith, Jana Tumova, Calin Belta +1
In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the environment i…