Optimal Path Planning under Temporal Logic Constraints

v1v2 (latest)

Optimal Path Planning under Temporal Logic Constraints

13 July 2010

Stephen L. Smith

Jana Tumova

Daniela Rus

ArXiv (abs)PDF HTML

Papers citing "Optimal Path Planning under Temporal Logic Constraints"

10 / 10 papers shown

Title
LATMOS: Latent Automaton Task Model from Observation Sequences Weixiao Zhan Qiyue Dong Eduardo Sebastián Nikolay Atanasov 85 0 0 11 Mar 2025
RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints Saksham Gautam Ratnangshu Das Pushpak Jagtap 22 0 0 09 Nov 2024
MT* : Multi-Robot Path Planning for Temporal Logic Specifications Dhaval Gujarathi Indranil Saha 41 18 0 04 Mar 2021
T* : A Heuristic Search Based Algorithm for Motion Planning with Temporal Goals Danish Khalidi Dhaval Gujarathi Indranil Saha 37 5 0 16 Sep 2018
Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks Y. Kantaros B. Johnson S. Chowdhury D. Cappelleri Michael M. Zavlanos 56 35 0 29 Apr 2018
Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks Y. Kantaros Michael M. Zavlanos 50 72 0 13 Jun 2017
Extended LTLvis Motion Planning interface (Extended Technical Report) Wei Wei Kangjin Kim Georgios Fainekos 66 8 0 05 Jul 2016
Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic Yuchen Zhou Dipankar Maity John S. Baras 31 37 0 27 Mar 2016
Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints A. Ulusoy Stephen L. Smith X. Ding C. Belta 113 68 0 06 Feb 2012
Optimal Multi-Robot Path Planning with Temporal Logic Constraints A. Ulusoy Stephen L. Smith X. Ding C. Belta Daniela Rus 84 42 0 30 Jun 2011