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"

10 / 10 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 40 0 0 01 May 2025
Scalable Signal Temporal Logic Guided Reinforcement Learning via Value Function Space Optimization Yiting He Peiran Liu Yiding Ji OffRL 41 0 0 04 Aug 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 43 18 0 20 Feb 2024
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet Wenliang Liu Wei Xiao C. Belta 38 6 0 12 Apr 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets Vince Kurtz Hai Lin 29 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 42 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
Guided Conditional Diffusion for Controllable Traffic Simulation Ziyuan Zhong Davis Rempe Danfei Xu Yuxiao Chen Sushant Veer Tong Che Baishakhi Ray Marco Pavone 24 147 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 18 4 0 21 Oct 2022
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks Wenliang Liu Mirai Nishioka C. Belta 37 5 0 29 Mar 2021