Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

31 July 2020

Papers citing "Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods"

23 / 23 papers shown

Title
TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching Yue Meng Chuchu Fan 38 0 0 01 May 2025
Diverse Controllable Diffusion Policy with Signal Temporal Logic Yue Meng Chuchu fan 53 2 0 04 Mar 2025
Pretrained Embeddings as a Behavior Specification Mechanism Parv Kapoor Abigail Hammer Ashish Kapoor Karen Leung Eunsuk Kang 34 0 0 03 Mar 2025
Semantic Communication and Control Co-Design for Multi-Objective Correlated Dynamics Abanoub M. Girgis Hyowoon Seo Mehdi Bennis 32 0 0 03 Oct 2024
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow Xuan Lin Jiming Ren Samuel Coogan Ye Zhao 30 0 0 27 Sep 2024
Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning Parv Kapoor Sai H. Vemprala Ashish Kapoor 42 1 0 09 Aug 2024
Learning Temporal Logic Predicates from Data with Statistical Guarantees Emi Soroka Rohan Sinha Sanjay Lall 36 0 0 15 Jun 2024
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo Gustavo A. Cardona Kevin J. Leahy Makai Mann C. Vasile 24 4 0 12 Oct 2023
Multi-Predictor Fusion: Combining Learning-based and Rule-based Trajectory Predictors Sushant Veer Apoorva Sharma Marco Pavone 26 4 0 03 Jul 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 37 1 0 10 Dec 2022
Receding Horizon Planning with Rule Hierarchies for Autonomous Vehicles Sushant Veer Karen Leung Ryan K. Cosner Yuxiao Chen Peter Karkus Marco Pavone 32 12 0 06 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 Inference of Temporal Logic Formulas Nicole Fronda Houssam Abbas 18 5 0 10 Aug 2022
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables Vince Kurtz Hai Lin 16 63 0 13 Apr 2022
Knowledge-Integrated Informed AI for National Security Anu Myne Kevin J. Leahy Ryan Soklaski 21 0 0 04 Feb 2022
Multi-agent Motion Planning from Signal Temporal Logic Specifications Dawei Sun Jingkai Chen Sayan Mitra Chuchu Fan 21 80 0 13 Jan 2022
Signal Temporal Logic Synthesis as Probabilistic Inference Ki Myung Brian Lee C. Yoo Robert Fitch 29 8 0 13 May 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
Learning from Demonstrations using Signal Temporal Logic Aniruddh Gopinath Puranic Jyotirmoy V. Deshmukh Stefanos Nikolaidis 40 25 0 15 Feb 2021
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints Wenliang Liu N. Mehdipour C. Belta 9 48 0 24 Sep 2020
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems Anthony Corso Robert J. Moss Mark Koren Ritchie Lee Mykel J. Kochenderfer 19 173 0 06 May 2020