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"

14 / 14 papers shown

Title
TalkWithMachines: Enhancing Human-Robot Interaction for Interpretable Industrial Robotics Through Large/Vision Language Models Ammar N. Abbas Csaba Beleznai LM&Ro 78 2 0 19 Dec 2024
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints Bowen Ye Jianing Zhao Shaoyuan Li Xiang Yin 16 0 0 26 Mar 2024
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings Oliver Schon Zhengang Zhong Sadegh Soudjani 29 7 0 15 Mar 2024
Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints Meng Guo T. Liao Junjie Wang Zhongkui Li 35 6 0 10 Feb 2023
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 43 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 32 12 0 03 Oct 2022
Differentiable Safe Controller Design through Control Barrier Functions Shuo Yang Shaoru Chen V. Preciado Rahul Mangharam 36 18 0 20 Sep 2022
Multi-robot Mission Planning in Dynamic Semantic Environments Samarth Kalluraya George J. Pappas Y. Kantaros 34 21 0 13 Sep 2022
Data-driven Abstractions with Probabilistic Guarantees for Linear PETC Systems Andrea Peruffo M. Mazo 21 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 80 86 0 24 Feb 2021
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan 24 40 0 28 Jul 2020
Decentralized Safe Reactive Planning under TWTL Specifications Ryan Peterson Ali Tevfik Buyukkocak Derya Aksaray Yasin Yazıcıoğlu 26 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 55 52 0 02 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 0 09 Aug 2017