Cover Image

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Parameshwaran, Aditya, Wang, Yue
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Verification of Autonomous Neural Car Control with KeYmaera X
by: Prebet, Enguerrand, et al.
Published: (2025)

From Black-Box to White-Box: Control-Theoretic Neural Network Interpretability
by: Moon, Jihoon
Published: (2025)

Temporal Logic Guided Safe Navigation for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

A Safe Reinforcement Learning driven Weights-varying Model Predictive Control for Autonomous Vehicle Motion Control
by: Zarrouki, Baha, et al.
Published: (2024)

Learning a Stable, Safe, Distributed Feedback Controller for a Heterogeneous Platoon of Autonomous Vehicles
by: Shaham, Michael H., et al.
Published: (2024)

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
by: Yao, Jianzhu, et al.
Published: (2025)

Neural Horizon Model Predictive Control -- Increasing Computational Efficiency with Neural Networks
by: Alsmeier, Hendrik, et al.
Published: (2024)

AI-Driven Autonomous Control of Proton-Boron Fusion Reactors Using Backpropagation Neural Networks
by: Laurelli, Michele
Published: (2024)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

Uncertainty-Aware DRL for Autonomous Vehicle Crowd Navigation in Shared Space
by: Golchoubian, Mahsa, et al.
Published: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Interpretable Event Diagnosis in Water Distribution Networks
by: Artelt, André, et al.
Published: (2025)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

SOLIS: Physics-Informed Learning of Interpretable Neural Surrogates for Nonlinear Systems
by: Mansur, Murat Furkan, et al.
Published: (2026)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
by: Lin, Albert, et al.
Published: (2023)

Multi-Resolution End-to-End Deep Neural Network for Optimizing Latency-Accuracy Tradeoff in Autonomous Driving
by: Weng, Qitao, et al.
Published: (2026)

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

Shape-Interpretable Visual Self-Modeling Enables Geometry-Aware Continuum Robot Control
by: Yu, Peng, et al.
Published: (2026)

HONEST-CAV: Hierarchical Optimization of Network Signals and Trajectories for Connected and Automated Vehicles with Multi-Agent Reinforcement Learning
by: Zhang, Ziyan, et al.
Published: (2026)

Real-Time Decision-Making for Digital Twin in Additive Manufacturing with Model Predictive Control using Time-Series Deep Neural Networks
by: Chen, Yi-Ping, et al.
Published: (2025)

Go Beyond Black-box Policies: Rethinking the Design of Learning Agent for Interpretable and Verifiable HVAC Control
by: An, Zhiyu, et al.
Published: (2024)

CIKAN: Constraint Informed Kolmogorov-Arnold Networks for Autonomous Spacecraft Rendezvous using Time Shift Governor
by: Kim, Taehyeun, et al.
Published: (2024)

Convolutional Neural Networks for Accurate Measurement of Train Speed
by: Tian, Haitao, et al.
Published: (2025)

Exploring the impact of adaptive rewiring in Graph Neural Networks
by: van Nooten, Charlotte Cambier, et al.
Published: (2026)

Building Hybrid B-Spline And Neural Network Operators
by: Romagnoli, Raffaele, et al.
Published: (2024)

From Explainability to Interpretability: Interpretable Policies in Reinforcement Learning Via Model Explanation
by: Li, Peilang, et al.
Published: (2025)

Thermodynamic Liquid Manifold Networks: Physics-Bounded Deep Learning for Solar Forecasting in Autonomous Off-Grid Microgrids
by: Abdullah, Mohammed Ezzaldin Babiker
Published: (2026)

ControlSynth Neural ODEs: Modeling Dynamical Systems with Guaranteed Convergence
by: Mei, Wenjie, et al.
Published: (2024)

Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach
by: Yang, Jingda, et al.
Published: (2023)

Empowering Autonomous Driving with Large Language Models: A Safety Perspective
by: Wang, Yixuan, et al.
Published: (2023)

Stable Autonomous Flow Matching
by: Sprague, Christopher Iliffe, et al.
Published: (2024)

Virtual Smart Metering in District Heating Networks via Heterogeneous Spatial-Temporal Graph Neural Networks
by: Niresi, Keivan Faghih, et al.
Published: (2026)

Towards Machine Learning-based Model Predictive Control for HVAC Control in Multi-Context Buildings at Scale via Ensemble Learning
by: Deng, Yang, et al.
Published: (2025)

Optimal Control Operator Perspective and a Neural Adaptive Spectral Method
by: Feng, Mingquan, et al.
Published: (2024)

Aligning Large Language Models with Representation Editing: A Control Perspective
by: Kong, Lingkai, et al.
Published: (2024)

Lyapunov Function Consistent Adaptive Network Signal Control with Back Pressure and Reinforcement Learning
by: Ma, Chaolun, et al.
Published: (2022)

Constrained Control for Autonomous Spacecraft Rendezvous: Learning-Based Time Shift Governor
by: Kim, Taehyeun, et al.
Published: (2024)