STL Planning

STL: Signal Temporal Logic

Ask about this topic

Latest papers

CardsList

17 papers3 papers in the last four weeks, level with the four weeks before. 0.0% of all new papers.

  1. Belief Space Planning for Risk Signal Temporal Logic via Mixed-Integer Convex Programming

    Oct 12, 2026Shaohang Han, Joris Verhagen, Kaier Liang +1Belief-Space PlanningSTL Planning

    Division of Robotics, Perception and Learning, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden · Digital Futures

  2. Efficient Hybrid Hard--Soft Signal Temporal Logic MPC for Driving under Multimodal Uncertainty

    Oct 11, 2026Kumar Manas, Adrian PaschkeSTL PlanningSafe Motion Planning

    Technical University Darmstadt, Germany · Freie Universität Berlin, Germany · Freie Universität Berlin and Fraunhofer FOKUS, Berlin, Germany

  3. ScanSTL: Parallel Robustness Evaluation for Signal Temporal Logic

    Oct 5, 2026Gokhan AlcanSignal Temporal LogicSTL Planning

    Automation Technology and Mechanical Engineering, Tampere University, 33100 Tampere, Finland

  4. A Geometric Decision Procedure for STL Feasibility and Repair

    Sep 19, 2026Avinash MalikReachability AnalysisSignal Temporal Logic

    Department of Electrical, Computer, and Software Engineering, University of Auckland, Auckland, New Zealand

  5. Generalizable Multi-Agent Planning from Signal Temporal Logic Specifications via Diffusion

    Aug 30, 2026Joe Eappen, Zikang Xiong, Shreyash S. Iyengar +1STL PlanningMulti-Agent Planning

    ECE and CS Departments of Purdue University

  6. Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic

    Aug 25, 2026Yiqi Zhao, Taekyung Kim, Hideki Okamoto +4STL Motion PlanningSafe Motion Planning

    Thomas Lord Department of Computer Science, University of Southern California, Los Angeles, CA 90089, USA · Department of Robotics, University of Michigan, Ann Arbor, MI 48109, USA · Toyota Motor North America R&D, Ann Arbor, MI 48105, USA +1

  7. Logic-VLA: A Temporal Logic Conditioned Vision-Language-Action Model

    Aug 20, 2026Celina Shiyu Wang, Yiqi Zhao, Junjie Ye +2Vision-Language-Action ModelsReasoning for VLA Models

    Thomas Lord Department of Computer Science, University of Southern California

  8. STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets

    Jul 21, 2026Nicola De Carli, Gregorio Marchesini, Dimos V. DimarogonasRobot Trajectory TrackingConstrained Motion Planning

  9. Correct-by-Construction Behavior Tree Synthesis from Signal Temporal Logic Specifications with Application to Robotic Missions

    Jul 21, 2026Jiaheng Dong, Jingyi Huang, Liang HanSignal Temporal LogicRobot Task Planning

    Sino-French Engineer School,Beihang University, Beijing 100191, China

  10. Temporal logics and formal synthesis for robot planning and control

    Jun 19, 2026Jana Tumova, Joris Verhagen, Matti VahsRoboticsSignal Temporal Logic

    KTH Royal Institute of Technology

  11. Signal Temporal Logic Motion Planning via Graphs of Convex Sets

    May 22, 2026Yu Chen, Ancheng Hou, Mingyang Feng +2Constrained Motion PlanningTrajectory Generation

    School of Automation & Intelligent Sensing, Shanghai Jiao Tong University, Shanghai 200240, China · Institute of Artificial Intelligence, Xiamen University, Xiamen, China

  12. Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics

    May 5, 2026Panagiotis Rousseas, Dimos V. DimarogonasConstrained Motion PlanningSignal Temporal Logic

    ∗KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science, Division of Decision and Control Systems

  13. Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications

    May 4, 2026Liqian Ma, Zishun Liu, Glen Chou +1Constrained Motion PlanningTrajectory Optimization

    Georgia Institute of Technology, Atlanta, GA 30332

  14. Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps

    May 2, 2026Bowen Ye, Ancheng Hou, Junyue Huang +2STL PlanningRobot Task Planning

    School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China, Shanghai 200240, China

  15. DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications

    Apr 20, 2026Ruijia Liu, Ancheng Hou, Xiao Yu +1Constrained Motion PlanningTrajectory Generation

    School of Automation and Intelligent Sensing, Shanghai Jiao Tong University, Shanghai, China. · Institute of Artificial Intelligence, Xiamen University, Xiamen, China.

  16. GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning

    Mar 31, 2026Ancheng Hou, Ruijia Liu, Xiang YinSTL PlanningGraph-Based Planning

    School of Automation & Intelligent Sensing, Shanghai Jiao Tong University, Shanghai 200240, China.

  17. Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization

    Feb 19, 2026Eleftherios E. Vlahakis, Arash Bahari Kordabad, Lars Lindemann +3STL PlanningMulti-Agent Planning

    the Division of Computer Engineering and Computer Science, University West, 46132, Trollhättan, Sweden · the Max Planck Institute for Software Systems, Kaiserslautern, Germany · the Automatic Control Laboratory, ETH Zürich, 8092, Zürich, Switzerland +2