Buchumschlag

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	English, William H, Walker, Chase, Simon, Dominic, Jha, Sumit Kumar, Ewetz, Rickard
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
von: English, William, et al.
Veröffentlicht: (2025)

GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
von: English, William, et al.
Veröffentlicht: (2025)

NSP: A Neuro-Symbolic Natural Language Navigational Planner
von: English, William, et al.
Veröffentlicht: (2024)

Explaining the Reasoning of Large Language Models Using Attribution Graphs
von: Walker, Chase, et al.
Veröffentlicht: (2025)

Knowledge Editing for Multi-Hop Question Answering Using Semantic Analysis
von: Simon, Dominic, et al.
Veröffentlicht: (2025)

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
von: Ping, Yuqi, et al.
Veröffentlicht: (2026)

Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
von: Chen, Yu, et al.
Veröffentlicht: (2024)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
von: Ren, Wei, et al.
Veröffentlicht: (2024)

Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
von: Chen, Yu, et al.
Veröffentlicht: (2022)

A Semi-smooth Newton Method for the Constrained Optimal Control of Continuous-Time Linear Systems
von: Jones, Simon J., et al.
Veröffentlicht: (2026)

Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications
von: Le, Nhan-Khanh, et al.
Veröffentlicht: (2024)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
von: Peron, Davide, et al.
Veröffentlicht: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
von: Gautam, Saksham, et al.
Veröffentlicht: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Temporal Logic Resilience for Dynamical Systems
von: Saoud, Adnane, et al.
Veröffentlicht: (2024)

Maximally Resilient Controllers under Temporal Logic Specifications
von: Si, Youssef Ait, et al.
Veröffentlicht: (2025)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
von: Ye, Bowen, et al.
Veröffentlicht: (2026)

Ladder Logic Translation using Large Language Models in Industrial Automation
von: Ogundare, Oluwatosin, et al.
Veröffentlicht: (2026)

Energetic Resilience under Temporal Logic Specifications
von: Das, Ratnangshu, et al.
Veröffentlicht: (2026)

Temporal Logic Resilience for Continuous-time Systems
von: Das, Ratnangshu, et al.
Veröffentlicht: (2026)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
von: Qi, Shuhao, et al.
Veröffentlicht: (2024)

Runtime Enforcement of CPS against Signal Temporal Logic
von: Su, Han, et al.
Veröffentlicht: (2025)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning
von: Wang, Siqi, et al.
Veröffentlicht: (2023)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2024)

Continuous-time Data-driven Barrier Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

Data-Driven Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2025)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

A Framework for Motion Planning with Temporal Logic Precedence Specifications via Augmented Graphs of Convex Sets
von: You, Shilin, et al.
Veröffentlicht: (2026)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
von: Berlind, Carter, et al.
Veröffentlicht: (2024)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
von: Ilyes, Roland, et al.
Veröffentlicht: (2025)

Optimal Planning and Control under Signal Temporal Logic Specifications
von: Pan, Zuodong, et al.
Veröffentlicht: (2026)

Analysis of Discrete-Time Switched Linear Systems under Logic Dynamic Switchings
von: Zhang, Xiao, et al.
Veröffentlicht: (2022)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
von: Si, Youssef Ait, et al.
Veröffentlicht: (2026)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
von: Gracia, Ibon, et al.
Veröffentlicht: (2024)

SMTL: A Stratified Logic for Expressive Multi-Level Temporal Specifications
von: Baheri, Ali, et al.
Veröffentlicht: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
von: Riccardi, Alessandro, et al.
Veröffentlicht: (2026)

Verifying Well-Posedness of Linear PDEs using Convex Optimization
von: Jagt, Declan S., et al.
Veröffentlicht: (2026)