Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications

4 February 2022

Papers citing "Semi-Supervised Trajectory-Feedback Controller Synthesis for Signal Temporal Logic Specifications"

13 / 13 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 95 0 0 01 May 2025
Scalable Signal Temporal Logic Guided Reinforcement Learning via Value Function Space Optimization Yiting He Peiran Liu Yiding Ji OffRL 82 0 0 04 Aug 2024
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification Prithvi Akella Anushri Dixit M. Ahmadi Lars Lindemann Margaret P. Chapman George J. Pappas Aaron D. Ames J. W. Burdick 228 6 0 27 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 72 19 0 20 Feb 2024
Interpretable Generative Adversarial Imitation Learning Wenliang Liu Danyang Li Erfan Aasi Roberto Tron C. Belta GAN 64 6 0 15 Feb 2024
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet Wenliang Liu Wei Xiao C. Belta 69 6 0 12 Apr 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Vince Kurtz Hai Lin 116 14 0 18 Jan 2023
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks Wataru Hashimoto Kazumune Hashimoto M. Kishida S. Takai 60 1 0 10 Dec 2022
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu Kevin J. Leahy Zachary Serlin C. Belta 58 1 0 30 Nov 2022
Guided Conditional Diffusion for Controllable Traffic Simulation Ziyuan Zhong Davis Rempe Danfei Xu Yuxiao Chen Sushant Veer Tong Che Baishakhi Ray Marco Pavone 80 157 0 31 Oct 2022
Differentiable Constrained Imitation Learning for Robot Motion Planning and Control Christopher P. Diehl Janis Adamek Martin Krüger F. Hoffmann Torsten Bertram 70 4 0 21 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 75 11 0 27 Sep 2022
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks Wenliang Liu Mirai Nishioka C. Belta 85 5 0 29 Mar 2021