Copertina

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhao, Yiqi, Hoxha, Bardh, Fainekos, Georgios, Deshmukh, Jyotirmoy V., Lindemann, Lars
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Systems and Control Logic in Computer Science Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
di: Zhao, Yiqi, et al.
Pubblicazione: (2025)

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

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
di: Hoxha, Bardh, et al.
Pubblicazione: (2026)

Formal Verification and Control with Conformal Prediction
di: Lindemann, Lars, et al.
Pubblicazione: (2024)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
di: Hashemi, Navid, et al.
Pubblicazione: (2024)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
di: Rahaman, Kaizer, et al.
Pubblicazione: (2026)

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
di: Kim, Taekyung, et al.
Pubblicazione: (2026)

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
di: Yamaguchi, Tomoya, et al.
Pubblicazione: (2025)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
di: Hashemi, Navid, et al.
Pubblicazione: (2024)

Optimal Planning for Timed Partial Order Specifications
di: Watanabe, Kandai, et al.
Pubblicazione: (2024)

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
di: Black, Mitchell, et al.
Pubblicazione: (2024)

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

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
di: Yang, Shuo, et al.
Pubblicazione: (2023)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
di: Majd, Keyvan, et al.
Pubblicazione: (2025)

Neural Configuration Distance Function for Continuum Robot Control
di: Long, Kehan, et al.
Pubblicazione: (2024)

Conformal Predictive Programming for Chance Constrained Optimization
di: Zhao, Yiqi, et al.
Pubblicazione: (2024)

PerceMon: Online Monitoring for Perception Systems
di: Balakrishnan, Anand, et al.
Pubblicazione: (2021)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
di: Black, Mitchell, et al.
Pubblicazione: (2024)

SMT-Based Dynamic Multi-Robot Task Allocation
di: Tuck, Victoria Marie, et al.
Pubblicazione: (2024)

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

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
di: Mirzaeedodangeh, Omid, et al.
Pubblicazione: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
di: Kapoor, Parv, et al.
Pubblicazione: (2024)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
di: Ghorbel, Bassem, et al.
Pubblicazione: (2024)

eCP: Equivariant Conformal Prediction with pre-trained models
di: Bousias, Nikolaos, et al.
Pubblicazione: (2026)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
di: Engelaar, Maico H. W., et al.
Pubblicazione: (2024)

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

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

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
di: Vázquez, Gricel, et al.
Pubblicazione: (2026)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
di: Chang, Kevin Kai-Chun, et al.
Pubblicazione: (2026)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
di: Ho, Qi Heng, et al.
Pubblicazione: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
di: Balakrishnan, Anand, et al.
Pubblicazione: (2022)

Stochastic Omega-Regular Verification and Control with Supermartingales
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

AdaptNC: Adaptive Nonconformity Scores for Conformal Prediction under Distribution Shift
di: Tumu, Renukanandan, et al.
Pubblicazione: (2026)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
di: Yu, Xinyi, et al.
Pubblicazione: (2023)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
di: Gu, Chao, et al.
Pubblicazione: (2020)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
di: Murali, Vishnu, et al.
Pubblicazione: (2026)

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