Linear Temporal Logics

Ask about this topic

Momentum

6 papers in the last four weeks, against 2 the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 38

All topics
CardsList

  1. Concurrent Semantic Search and Mission Execution for LTL Missions in Unknown Environments

    Sep 30, 2026Fernando Salanova Gaspar, David Morilla Cabello, Cristian Mahulea Poleuca +1Dynamic EnvironmentsSpatio-Temporal Scene Graphs

  2. Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RL

    Sep 29, 2026Mathias Jackermeier, Jacques Cloete, Alessandro AbateMulti-Turn Reinforcement LearningLinear Temporal Logics

    Department of Computer Science, University of Oxford · Oxford Robotics Institute, University of Oxford

  3. Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic Specifications

    Sep 17, 2026Jonathan Hau, Alessandro AbateLinear Temporal LogicsModel-Based Reinforcement Learning

    Department of Computer Science, University of Oxford, United Kingdom

  4. Symbolic Temporal Supervision of LLM Agents Using Contracts

    Sep 16, 2026Yifeng Xiao, Pierluigi NuzzoLarge Language Model AgentsContracts

    Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA

  5. Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification

    Sep 15, 2026Angelo Ferrando, Matt Luckcuck, Pedro RibeiroRuntime EnforcementLinear Temporal Logics

    Department of Physics, Informatics and Mathematics, University of Modena and Reggio Emilia, Italy · School of Computer Science, University of Nottingham, UK · Department of Computer Science, University of York, UK

  6. LTLDiff: Finite Linear Temporal Logic-Guided Data Generation and Diffusion Policies for Multi-agent Robotic Manipulation

    Sep 11, 2026Chuhan Meng, Haiyan YinLinear Temporal LogicsDiffusion Policies

    University of Toronto, Toronto, ON, Canada · A*STAR Centre for Frontier AI Research (A*STAR CFAR), Agency for Science, Technology and Research (A*STAR), Singapore

  7. Scene Graph-based Driving Scenario Extraction for Automotive Egocentric Datasets

    Aug 31, 2026Stefan Ramdhan, Kyanna Dagenais, Vera Pantelic +2Naturalistic Driving DataAutomated Vehicles

    McMaster Centre for Software Certification (McSCert) · McMaster University · Hamilton, Ontario, Canada

  8. Solving Robust POMDPs with Omega-regular Objectives via Partially Observable Stochastic Games

    Aug 25, 2026Durgam Latha, Dion Reji, S. Akshay +2Partially Observable Markov Decision ProcessObservable Stochastic Game

    Indian Institute of Technology Bombay Mumbai, India · Nanyang Technological University Singapore, Singapore

  9. Directed Neuro-Symbolic Stochastic Execution for Verification of Distributed Parallel AI Programs

    Aug 8, 2026Gautham Koorma, Vikas Sharma, George Edwards +1Neuro-Symbolic FrameworkArtificial Intelligence Systems

    Quandary Peak Research, Los Angeles, CA, USA

  10. Exact Model-Free Policy Iteration for Co-safe LTL Planning

    Aug 5, 2026Zetong Xuan, Yu WangModel-Free Reinforcement LearningLinear Temporal Logics

    Department of Mechanical and Aerospace Engineering, University of Florida, Gainesville, FL 32611 USA

  11. Optimal Constrained sc-LTL Planning in MDPs via Switching Policies

    Aug 5, 2026Zetong Xuan, Yu WangLinear Temporal LogicsMarkov Decision Processes

    Department of Mechanical and Aerospace Engineering, University of Florida, Gainesville, FL 32611 USA

  12. Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+

    Aug 3, 2026Christoph Weinhuber, Maximilian Prokop, Giuseppe De Giacomo +1Linear Temporal LogicsAutomata

    University of Oxford · 2Technical University of Munich · 3Masaryk University Brno +1

  13. Alternating-Time Temporal Logic with Mean-Payoff Guarantees

    Aug 2, 2026Muhammad NajibLinear Temporal LogicsMulti-Agent Coordination

    Heriot-Watt University, Edinburgh, UK

  14. 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 LogicLinear Temporal Logics

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

  15. Learning Linear Temporal Specifications from Demonstrations with Uncertainty

    Jul 12, 2026Parastou Fahim, Constantino Lagoa, Rômulo Meira-G'oesLinear Temporal LogicsUncertainty

    School of Electrical Engineering and Computer Science at The Pennsylvania State University, State College, USA

  16. AgentLTL: A Trace-Verification Framework for Measuring, Enforcing, and Training Procedural Compliance in Tool-Using LLM Agents

    Jul 1, 2026Laïla Elkoussy, Julien PerezLanguage-Model AgentsLinear Temporal Logics

    LRE, EPITA · LRE · Bpifrance

  17. First-Order Temporal Logic Tensor Networks

    Jun 29, 2026Luca Boscarato, Ivan Donadello, Alessandro Artale +2Linear Temporal LogicsNeuro-Symbolic Framework

    Free University of Bozen-Bolzano

  18. ViTL: Temporal Logic-Guided Zero-Shot Natural Language Navigation via Vision-Language Models

    Jun 29, 2026Kaier Liang, Hengde Dai, Cristian-Ioan VasileVision-Language NavigationLinear Temporal Logics

    Lehigh University, PA, USA

  19. Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic

    Jun 19, 2026Lydia Bakiri, Jérémy Dubut, Sergio MoverLinear Temporal LogicsReachability

    LIX, CNRS, École polytechnique, Institut Polytechnique de Paris, Palaiseau, France

  20. A Reward-Petri-Net Interpretation of Temporal Behavior Trees

    Jun 19, 2026Till Schmeil, Günther Waxenegger-Wilfing, Sebastian SchirmerBehavior TreeLinear Temporal Logics

    University of Würzburg, Germany · German Aerospace Center (DLR), Germany

  21. As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture

    Jun 16, 2026Marcos Abel Zuzuárregui, Stefano CarpinLarge Language Model PlanningFormal Verification

    Department of Computer Science and Engineering, University of California, Merced, CA, USA

  22. Contract-Based Compositional Shielding for Safe Multi-Agent Reinforcement Learning

    Jun 12, 2026Omar Adalat, Edwin Hamel-De le Court, Francesco BelardinelliMulti-Agent Reinforcement LearningLinear Temporal Logics

    Imperial College London, London SW7 2AZ, UK · University of Manchester, Manchester M13 9PL, UK

  23. Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

    Jun 6, 2026Ashkan Ansarifard, Matteo Mancanelli, Elena Umili +1Linear Temporal LogicsOffline Reinforcement Learning

    Sapienza University of Rome · University of Rome La Sapienza, Rome, Italy

  24. Robust Shielding for Safe Reinforcement Learning

    May 29, 2026Edwin Hamel-De le Court, Thom Badings, Alessandro Abate +2Markov Decision ProcessesLinear Temporal Logics

    Department of Computer Science, University of Manchester, United Kingdom · Faculty of Computer Science & DSME, RWTH Aachen University, Germany · Department of Computer Science, University of Oxford, United Kingdom +1

  25. NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic

    May 20, 2026Paapa Kwesi Quansah, Ernest BonnahLinear Temporal LogicsFormal Verification

    Baylor University, Waco TX 76706, USA

  26. Monitoring Data-aware Temporal Properties (Extended Version)

    May 14, 2026Alessandro Gianola, Marco Montali, Sarah WinklerLinear Temporal LogicsRuntime Enforcement

    INESC-ID/Instituto Superior T´ecnico, Universidade de Lisboa, Portugal · Free University of Bozen-Bolzano, Italy

  27. Quantitative Linear Logic for Neuro-Symbolic Learning and Verification

    May 13, 2026Thomas Flinkow, Ekaterina Komendantskaya, Matteo Capucci +1Neuro-Symbolic FrameworkDifferentiable Logic Gate Networks

    Maynooth University, Maynooth, IE · University of Southampton, Southampton, UK · University of Strathclyde, Glasgow, UK +1

  28. Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives

    May 12, 2026Can Zhou, Yulong Gao, Pian YuLinear Temporal LogicsPartially Observable Markov Decision Process

    Imperial College London, United Kingdom · University College London, United Kingdom

  29. Optimal LTLf Synthesis

    May 12, 2026Yujian Cao, Sven Schewe, Qiyi Tang +1Invariant SynthesisLinear Temporal Logics

    University of Liverpool

  30. I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems

    Apr 28, 2026Rustam Galimullin, Hermine Grosinger, Munyque MittelmannModel-Based Multi-Agent SystemsAutonomous Agents

    University of Bergen, Bergen, Norway · Örebro University, Örebro, Sweden · CNRS, UMR 7030, F-93430, Villetaneuse, France +1

  31. SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning

    Apr 27, 2026Zijian Guo, İlker Işık, H. M. Sabbir Ahmad +1Offline Reinforcement LearningLinear Temporal Logics

    Boston University

  32. SemML 2.0: Synthesizing Controllers for LTL

    Apr 27, 2026Jan Křetínský, Tobias Meggendorfer, Maximilian ProkopLinear Temporal LogicsInvariant Synthesis

    Masaryk University, Brno, Czech Republic · Technical University of Munich, Germany · Lancaster University Leipzig, Germany

  33. How LLMs Fail and Generalize in RTL Coding for Hardware Design?

    Apr 26, 2026Guan-Ting Liu, Chao-Han Huck Yang, Chenhui Deng +3Register Transfer LevelLarge Language Models Fail

    NVIDIA Research

  34. Towards Causally Interpretable Wi-Fi CSI-Based Human Activity Recognition with Discrete Latent Compression and LTL Rule Extraction

    Apr 24, 2026Luca Cotti, Luca Lavazza, Marco Cominelli +10Human Activity RecognitionWifi

    University of Brescia, Italy. · Università La Sapienza Roma, Italy. · DEIB, Politecnico di Milano, Italy. +8

  35. Symbolic Synthesis for LTLf+ Obligations

    Apr 20, 2026Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann +1Linear Temporal LogicsInvariant Synthesis

    University of Oxford, UK · University of Liverpool, UK · University of Gothenburg and Chalmers University of Technology, Sweden

  36. Live LTL Progress Tracking: Towards Task-Based Exploration

    Apr 18, 2026Noel Brindise, Cedric Langbort, Melkior OrnikLinear Temporal LogicsTrajectory Generation

    Coordinated Science Laboratory, University of Illinois Urbana-Champaign, Urbana, USA

  37. Real-Time Model Checking for Closed-Loop Robot Reactive Planning

    Aug 26, 2025Christopher Chandler, Bernd Porr, Giulia Lafratta +1Geometric PlanningObstacle Avoidance

    Department of Electronic and Electrical Engineering, University of Strathclyde, Glasgow, Scotland, UK · School of Engineering, University of Glasgow, Glasgow, Scotland, UK · School of Computing Science, University of Glasgow, Glasgow, Scotland, UK

  38. Reinforcement Learning with Temporal-Logic-Based Causal Diagrams

    Jun 23, 2023Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione +5Offline Reinforcement LearningLinear Temporal Logics

    Arizona State University, Arizona, USA · Max Planck Institute for Software Systems, Kaiserslautern, Germany · University of Texas at Austin, Texas, USA +3