Automata-based Optimal Planning with Relaxed Specifications

28 July 2021

Papers citing "Automata-based Optimal Planning with Relaxed Specifications"

10 / 10 papers shown

Title
LATMOS: Latent Automaton Task Model from Observation Sequences Weixiao Zhan Qiyue Dong Eduardo Sebastián Nikolay Atanasov 53 0 0 11 Mar 2025
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams Disha Kamale C. Vasile 24 0 0 03 Jun 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo Gustavo A. Cardona Kevin J. Leahy Makai Mann C. Vasile 16 4 0 12 Oct 2023
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception Disha Kamale S. Haesaert C. Vasile 29 0 0 13 Sep 2023
Optimal Cost-Preference Trade-off Planning with Multiple Temporal Tasks Peter Amorese Morteza Lahijanian 11 2 0 22 Jun 2023
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications Mingyu Cai Makai Mann Zachary Serlin Kevin J. Leahy C. Vasile 32 12 0 03 Oct 2022
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers Disha Kamale S. Haesaert C. Vasile 35 8 0 20 Sep 2022
Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks Adam Pacheck H. Kress-Gazit 20 14 0 06 Jul 2022
Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment Zhiliang Li Mingyu Cai Shaoping Xiao Z. Kan 25 16 0 18 Oct 2021