Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

20 February 2024

Papers citing "Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges"

11 / 11 papers shown

Title
Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints Meng Guo T. Liao Junjie Wang Zhongkui Li 19 4 0 10 Feb 2023
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 37 11 0 11 Oct 2022
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications Mingyu Cai Makai Mann Zachary Serlin Kevin J. Leahy C. Vasile 27 12 0 03 Oct 2022
Differentiable Safe Controller Design through Control Barrier Functions Shuo Yang Shaoru Chen V. Preciado Rahul Mangharam 27 18 0 20 Sep 2022
Multi-robot Mission Planning in Dynamic Semantic Environments Samarth Kalluraya George J. Pappas Y. Kantaros 21 21 0 13 Sep 2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Andrea Peruffo M. Mazo 11 13 0 10 Mar 2022
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic Mingyu Cai Mohammadhosein Hasanbeig Shaoping Xiao Alessandro Abate Z. Kan 66 79 0 24 Feb 2021
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan 21 39 0 28 Jul 2020
Decentralized Safe Reactive Planning under TWTL Specifications Ryan Peterson Ali Tevfik Buyukkocak Derya Aksaray Yasin Yazıcıoğlu 13 13 0 23 Jul 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Abolfazl Lavaei F. Somenzi Sadegh Soudjani Ashutosh Trivedi Majid Zamani 45 46 0 02 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 66 289 0 09 Aug 2017