Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Waite, Thomas, Geng, Yuang, Turnquist, Trevor, Ruchkin, Ivan, Ivanov, Radoslav
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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