Image de couverture de livre

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kapoor, Parv, Kang, Eunsuk, Meira-Goes, Romulo
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control Logic in Computer Science Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
par: Zhang, Changjian, et autres
Publié: (2024)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
par: Zhang, Changjian, et autres
Publié: (2023)

Constrained Decoding for Safe Robot Navigation Foundation Models
par: Kapoor, Parv, et autres
Publié: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
par: Zhao, Yiqi, et autres
Publié: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
par: Kapoor, Parv, et autres
Publié: (2025)

Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
par: Kochdumper, Niklas, et autres
Publié: (2023)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
par: Dhonthi, Akshay, et autres
Publié: (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
par: Chang, Kevin Kai-Chun, et autres
Publié: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
par: Zhao, Yiqi, et autres
Publié: (2023)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
par: Ramirez, Miquel, et autres
Publié: (2024)

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
par: Xu, Yuejiao, et autres
Publié: (2024)

Barrier Certificates for Uncertain Temporal Specifications
par: Mamduhi, Mohammad H., et autres
Publié: (2026)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
par: Engelaar, Maico H. W., et autres
Publié: (2024)

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
par: Chu, Simon, et autres
Publié: (2024)

Efficient Dynamic Shielding for Parametric Safety Specifications
par: Corsi, Davide, et autres
Publié: (2025)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
par: Ghorbel, Bassem, et autres
Publié: (2024)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
par: Sharifi, Iman, et autres
Publié: (2023)

Quantitative Monitoring of Signal First-Order Logic
par: Chalupa, Marek, et autres
Publié: (2026)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
par: Ho, Qi Heng, et autres
Publié: (2024)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
par: Vázquez, Gricel, et autres
Publié: (2026)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2026)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
par: Tang, Valdemar, et autres
Publié: (2024)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
par: So, Oswin, et autres
Publié: (2026)

Stratifying Reinforcement Learning with Signal Temporal Logic
par: Curry, Justin, et autres
Publié: (2026)

Counterexample Classification against Signal Temporal Logic Specifications
par: Zhang, Zhenya, et autres
Publié: (2026)

Optimal Planning for Timed Partial Order Specifications
par: Watanabe, Kandai, et autres
Publié: (2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
par: Teuber, Samuel, et autres
Publié: (2024)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
par: Murali, Vishnu, et autres
Publié: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
par: Meng, Yue, et autres
Publié: (2025)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
par: Bozkurt, Alper Kamil, et autres
Publié: (2020)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
par: Meng, Yue, et autres
Publié: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
par: Reimann, Jesse, et autres
Publié: (2024)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
par: Liu, Ruijia, et autres
Publié: (2026)

Safe and Reliable Training of Learning-Based Aerospace Controllers
par: Mandal, Udayan, et autres
Publié: (2024)