Copertina

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Waite, Thomas, Geng, Yuang, Turnquist, Trevor, Ruchkin, Ivan, Ivanov, Radoslav
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
di: Geng, Yuang, et al.
Pubblicazione: (2025)

Verification of Autonomous Systems with Optimal Controllers
di: Le, Dylan, et al.
Pubblicazione: (2026)

Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
di: Peper, Jordan, et al.
Pubblicazione: (2025)

What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
di: Li, Chengyu, et al.
Pubblicazione: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
di: Hu, Hanjiang, et al.
Pubblicazione: (2024)

Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
di: Oeltjen, Christopher, et al.
Pubblicazione: (2025)

TEACar: An Open-Source Autonomous Driving Platform
di: Zhang, Zhongzheng, et al.
Pubblicazione: (2026)

Repairing Learning-Enabled Controllers While Preserving What Works
di: Lu, Pengyuan, et al.
Pubblicazione: (2023)

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum
di: Ding, Jianqiang, et al.
Pubblicazione: (2024)

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints
di: Cai, Junyang, et al.
Pubblicazione: (2025)

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

Decomposition and Quantification of SOTIF Requirements for Perception Systems of Autonomous Vehicles
di: Yu, Ruilin, et al.
Pubblicazione: (2025)

Hardware-Efficient Neuro-Symbolic Networks with the Exp-Minus-Log Operator
di: Ipek, Eymen
Pubblicazione: (2026)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
di: Dietrich, Elizabeth, et al.
Pubblicazione: (2025)

Hierarchical Neuro-Symbolic Decision Transformer
di: Baheri, Ali, et al.
Pubblicazione: (2025)

Demystifying Deep Reinforcement Learning: A Neuro-Symbolic Framework for Interpretable Open RAN Automation
di: Lu, Jie, et al.
Pubblicazione: (2026)

Curvature-Guided Safety Filters: State-Dependent Hessian-Weighted Projection with Provable Performance Bounds
di: Lin, Ziyan, et al.
Pubblicazione: (2026)

Formation-Aware Adaptive Conformalized Perception for Safe Leader-Follower Multi-Robot Systems
di: Suganda, Richie R., et al.
Pubblicazione: (2026)

Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator
di: Fan, Lingxiang, et al.
Pubblicazione: (2025)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
di: Liu, Jun
Pubblicazione: (2025)

Carbon Neutral Greenhouse: Economic Model Predictive Control Framework for Education
di: Wadinger, Marek, et al.
Pubblicazione: (2024)

Dynamic System Stability Verification Using Numerical Simulator
di: Kim, Jongrae
Pubblicazione: (2023)

Parameter Dependent Robust Control Invariant Sets for LPV Systems with Bounded Parameter Variation Rate
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2023)

Robust Local Stabilization of Nonlinear Systems with Controller-Dependent Norm Bounds: A Convex Approach with Input-Output Sampling
di: Cheah, Sze Kwan, et al.
Pubblicazione: (2022)

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
di: Shakhesi, Erfan, et al.
Pubblicazione: (2024)

Divide and Discard: Fast Tightening of Guaranteed State Bounds for Nonlinear Systems
di: Holzinger, Nico, et al.
Pubblicazione: (2026)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
di: Sharifi, Iman, et al.
Pubblicazione: (2023)

Trajectory-Independent Flexibility Envelopes of Energy-Constrained Systems with State-Dependent Losses
di: Rousseau, Julie, et al.
Pubblicazione: (2025)

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
di: Arab, Aliasghar, et al.
Pubblicazione: (2024)

Belief Space Control of Safety-Critical Systems Under State-Dependent Measurement Noise
di: Walia, Rohan, et al.
Pubblicazione: (2025)

Predictor-Feedback Stabilization of Linear Switched Systems with State-Dependent Switching and Input Delay
di: Katsanikakis, Andreas, et al.
Pubblicazione: (2026)

Uncertainty-Aware Perception-Based Control for Autonomous Racing
di: Trisovic, Jelena, et al.
Pubblicazione: (2025)

Reachset-Conformant System Identification
di: Lützow, Laura, et al.
Pubblicazione: (2024)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
di: Foster, Simon, et al.
Pubblicazione: (2020)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
di: Parameshwaran, Aditya, et al.
Pubblicazione: (2024)

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models
di: Mao, Zhenjiang, et al.
Pubblicazione: (2024)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
di: Kumar, Saurabh, et al.
Pubblicazione: (2025)

Scalable δ-Level Coherent State Synchronization of Multi-Agent Systems in the Presence of Bounded Disturbances
di: Nojavanzadeh, Donya, et al.
Pubblicazione: (2023)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
di: Vertovec, Nikolaus, et al.
Pubblicazione: (2025)

A Note on Emergent Behavior in Multi-agent Systems Enabled by Neuro-spike Communication
di: Jang, Hyeonyeong, et al.
Pubblicazione: (2025)