Minimum-violation LTL planning with conflicting specifications

Minimum-violation LTL planning with conflicting specifications

Original manuscript March 15, 2013

Bibliographic Details
Main Authors:	Tumova, Jana, Reyes Castro, Luis Ignacio, Karaman, Sertac, Frazzoli, Emilio, Rus, Daniela L.
Other Authors:	Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Format:	Article
Language:	en_US
Published:	Institute of Electrical and Electronics Engineers (IEEE) 2013
Online Access:	http://hdl.handle.net/1721.1/81823 https://orcid.org/0000-0001-5473-3566 https://orcid.org/0000-0002-0505-1400 https://orcid.org/0000-0002-2225-7275

Similar Items

Minimum-violation scLTL motion planning for mobility-on-demand
by: Tumova, Jana, et al.
Published: (2018)

Algorithms for minimum-violation planning with formal specifications
by: Reyes Castro, Luis I. (Luis Ignacio), et al.
Published: (2014)

Incremental sampling-based algorithm for minimum-violation motion planning
by: Reyes Castro, Luis I., et al.
Published: (2014)

Sampling-based motion planning with deterministic mu-calculus specifications
by: Karaman, Sertac, et al.
Published: (2010)

Sampling-based motion planning with deterministic u-calculus specifications
by: Karaman, Sertac, et al.
Published: (2010)

Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand
by: Karlsson, Jesper, et al.
Published: (2018)

Sampling-based algorithms for optimal motion planning
by: Karaman, Sertac, et al.
Published: (2013)

Specification and Planning of UAV Missions: A Process Algebra Approach
by: Karaman, Sertac, et al.
Published: (2010)

Optimal Kinodynamic Motion Planning using Incremental Sampling-based Methods
by: Karaman, Sertac, et al.
Published: (2011)

High-speed flight in an ergodic forest
by: Karaman, Sertac, et al.
Published: (2013)

Incremental Sampling-Based Algorithms for a Class of Pursuit-Evasion Games
by: Karaman, Sertac, et al.
Published: (2013)

Optimal path planning for surveillance with temporal-logic constraints
by: Smith, Stephen L, et al.
Published: (2021)

Optimal planning with temporal logic specifications
by: Karaman, Sertac
Published: (2010)

Optimal path planning under temporal logic constraints
by: Smith, Stephen L., et al.
Published: (2012)

Optimal path planning for surveillance with temporal-logic constraints
by: Smith, Stephen L, et al.
Published: (2022)

Anytime Motion Planning using the RRT*
by: Karaman, Sertac, et al.
Published: (2011)

A Process Algebra Genetic Algorithm
by: Karaman, Sertac, et al.
Published: (2013)

Synthesis of provably correct controllers for autonomous vehicles in urban environments
by: Wongpiromsarn, Tichakorn, et al.
Published: (2013)

Sampling-based algorithm for filtering using Markov chain approximations
by: Karaman, Sertac, et al.
Published: (2013)

Massively parallelizing the RRT and the RRT*
by: Karaman, Sertac, et al.
Published: (2013)

Anytime computation of time-optimal off-road vehicle maneuvers using the RRT*
by: Jeon, Jeong hwan, et al.
Published: (2013)

Learning to Plan via Deep Optimistic Value Exploration
by: Seyde, Tim, et al.
Published: (2020)

An incremental sampling-based algorithm for stochastic optimal control
by: Huynh, Vu Anh, et al.
Published: (2018)

Evaluating Autonomous Urban Perception and Planning in a 1/10th Scale MiniCity
by: Buckman, Noam, et al.
Published: (2022)

What is formal verification without specifications? A survey on mining LTL specifications
by: Neider, D, et al.
Published: (2024)

Reactive and human-in-the-loop planning and control of multi-robot systems under LTL specifications in dynamic environments
by: Yu, P, et al.
Published: (2023)

Real-Time Motion Planning With Applications to Autonomous Urban Driving
by: Kuwata, Yoshiaki, et al.
Published: (2010)

Real-Time Motion Planning With Applications to Autonomous Urban Driving
by: Kuwata, Yoshiaki, et al.
Published: (2011)

Runtime Verification for LTL and TLTL.
by: Bauer, A, et al.
Published: (2011)

Autonomous Golf Cars for Public Trial of Mobility-on-Demand Service
by: Frazzoli, Emilio, et al.
Published: (2015)

Deep Context Maps: Agent Trajectory Prediction using Location-specific Latent Maps
by: Gilitschenski, Igor, et al.
Published: (2021)

Asymptotically-optimal path planning for manipulation using incremental sampling-based algorithms
by: Perez, Alejandro Tomas, et al.
Published: (2012)

Closed-loop pallet manipulation in unstructured environments
by: Walter, Matthew R., et al.
Published: (2011)

Sampling-based algorithms for continuous-time POMDPs
by: Chaudhari, Pratik Anil, et al.
Published: (2013)

Comparing LTL Semantics for Runtime Verification.
by: Bauer, A, et al.
Published: (2010)

Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications
by: Wongpiromsarn, Tichakorn, et al.
Published: (2014)

Intention-Aware Motion Planning
by: Bandyopadhyay, Tirthankar, et al.
Published: (2017)

Bounds on tracking error using closed-loop rapidly-exploring random trees
by: Luders, Brandon Douglas, et al.
Published: (2010)

Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees
by: Shao, D, et al.
Published: (2023)

Optimal motion planning with the half-car dynamical model for autonomous high-speed driving
by: Jeon, Jeong hwan, et al.
Published: (2013)