Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints

24 September 2020

Papers citing "Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints"

19 / 19 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 40 0 0 01 May 2025
Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis Yuanfei Lin Zekun Xing Xuyuan Han Matthias Althoff 88 1 0 20 Dec 2024
Multi-agent transformer-accelerated RL for satisfaction of STL specifications Albin Larsson Forsberg Alexandros Nikou Aneta Vulgarakis Feljan Jana Tumova 34 1 0 23 Mar 2024
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout Navid Hashemi Bardh Hoxha Danil Prokhorov Georgios Fainekos Jyotirmoy Deshmukh 35 1 0 23 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 41 18 0 20 Feb 2024
Interpretable Generative Adversarial Imitation Learning Wenliang Liu Danyang Li Erfan Aasi Roberto Tron C. Belta GAN 34 6 0 15 Feb 2024
Signal Temporal Logic Neural Predictive Control Yue Meng Chuchu Fan 23 15 0 10 Sep 2023
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet Wenliang Liu Wei Xiao C. Belta 38 6 0 12 Apr 2023
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks Wataru Hashimoto Kazumune Hashimoto M. Kishida S. Takai 39 1 0 10 Dec 2022
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu Kevin J. Leahy Zachary Serlin C. Belta 41 1 0 30 Nov 2022
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives Navid Hashemi Xin Qin Jyotirmoy V. Deshmukh Georgios Fainekos Bardh Hoxha Danil Prokhorov Tomoya Yamaguchi 30 8 0 14 Oct 2022
Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains J. J. Aloor Jay Patrikar Parv Kapoor Jean Oh Sebastian Scherer 32 11 0 27 Sep 2022
Trustworthy Reinforcement Learning Against Intrinsic Vulnerabilities: Robustness, Safety, and Generalizability Mengdi Xu Zuxin Liu Peide Huang Wenhao Ding Zhepeng Cen Bo Li Ding Zhao 79 45 0 16 Sep 2022
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables Vince Kurtz Hai Lin 18 63 0 13 Apr 2022
Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications Karen Leung Marco Pavone 11 16 0 04 Feb 2022
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications Christos K. Verginis Zhe Xu Ufuk Topcu 28 4 0 25 Jun 2021
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications Suhail Alsalehi N. Mehdipour E. Bartocci C. Belta 13 4 0 06 Apr 2021
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks Wenliang Liu Mirai Nishioka C. Belta 35 5 0 29 Mar 2021
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods Karen Leung Nikos Arechiga Marco Pavone 11 92 0 31 Jul 2020