Buchumschlag

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhao, Yiqi, Zhu, Emily, Hoxha, Bardh, Fainekos, Georgios, Deshmukh, Jyotirmoy V., Lindemann, Lars
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control Logic in Computer Science Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
von: Zhao, Yiqi, et al.
Veröffentlicht: (2023)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
von: Zhao, Yiqi, et al.
Veröffentlicht: (2025)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
von: Hoxha, Bardh, et al.
Veröffentlicht: (2026)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
von: Hashemi, Navid, et al.
Veröffentlicht: (2024)

Optimal Planning for Timed Partial Order Specifications
von: Watanabe, Kandai, et al.
Veröffentlicht: (2024)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
von: Yamaguchi, Tomoya, et al.
Veröffentlicht: (2025)

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
von: Kim, Taekyung, et al.
Veröffentlicht: (2026)

Formal Verification and Control with Conformal Prediction
von: Lindemann, Lars, et al.
Veröffentlicht: (2024)

PerceMon: Online Monitoring for Perception Systems
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2021)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
von: Black, Mitchell, et al.
Veröffentlicht: (2024)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
von: Anderson, Jacob, et al.
Veröffentlicht: (2026)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
von: Parwana, Hardik, et al.
Veröffentlicht: (2024)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
von: Hashemi, Navid, et al.
Veröffentlicht: (2024)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
von: Rahaman, Kaizer, et al.
Veröffentlicht: (2026)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
von: Yang, Shuo, et al.
Veröffentlicht: (2023)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
von: Majd, Keyvan, et al.
Veröffentlicht: (2025)

Neural Configuration Distance Function for Continuum Robot Control
von: Long, Kehan, et al.
Veröffentlicht: (2024)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
von: Black, Mitchell, et al.
Veröffentlicht: (2024)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
von: Parwana, Hardik, et al.
Veröffentlicht: (2025)

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
von: Parwana, Hardik, et al.
Veröffentlicht: (2023)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
von: Dhonthi, Akshay, et al.
Veröffentlicht: (2024)

SMT-Based Dynamic Multi-Robot Task Allocation
von: Tuck, Victoria Marie, et al.
Veröffentlicht: (2024)

Safe Model Predictive Diffusion with Shielding
von: Kim, Taekyung, et al.
Veröffentlicht: (2025)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
von: Tuck, Victoria Marie, et al.
Veröffentlicht: (2025)

Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
von: Wang, Xinyi, et al.
Veröffentlicht: (2026)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
von: Wang, Xinyi, et al.
Veröffentlicht: (2025)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2025)

Conformal Predictive Programming for Chance Constrained Optimization
von: Zhao, Yiqi, et al.
Veröffentlicht: (2024)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., 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)

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
von: Hashemi, Navid, et al.
Veröffentlicht: (2025)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
von: So, Oswin, et al.
Veröffentlicht: (2026)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
von: Nawaz, Farhad, et al.
Veröffentlicht: (2024)

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
von: Miao, Yan, et al.
Veröffentlicht: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

Querying Perception Streams with Spatial Regular Expressions
von: Anderson, Jacob, et al.
Veröffentlicht: (2024)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
von: Yu, Xinyi, et al.
Veröffentlicht: (2023)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)