Imagen de Portada

Case Study: Runtime Safety Verification of Neural Network Controlled System

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Frank, Zhan, Sinong Simon, Wang, Yixuan, Huang, Chao, Zhu, Qi
Formato:	Preprint
Publicado:	2024
Materias:	Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Neural Network Verification for Gliding Drone Control: A Case Study
por: Kessler, Colin, et al.
Publicado: (2025)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
por: Caldas, Ricardo, et al.
Publicado: (2024)

Runtime Safety Monitoring of Deep Neural Networks for Perception: A Survey
por: Schotschneider, Albert, et al.
Publicado: (2025)

Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
por: Knoedler, Luzia, et al.
Publicado: (2024)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
por: Agrawal, Devansh R, et al.
Publicado: (2022)

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

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
por: Rafiq, Yasmin, et al.
Publicado: (2025)

Kinematics-aware Trajectory Generation and Prediction with Latent Stochastic Differential Modeling
por: Jiao, Ruochen, et al.
Publicado: (2023)

Causal Scene Narration with Runtime Safety Supervision for Vision-Language-Action Driving
por: Li, Yun, et al.
Publicado: (2026)

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
por: Betzer, Joakim Schack, et al.
Publicado: (2024)

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

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

Repairing Neural Networks for Safety in Robotic Systems using Predictive Models
por: Majd, Keyvan, et al.
Publicado: (2024)

Adaptive RISE Control for Dual-Arm Unmanned Aerial Manipulator Systems with Deep Neural Networks
por: Wang, Yang, et al.
Publicado: (2025)

Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation
por: He, Qisong, et al.
Publicado: (2026)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
por: Rober, Nicholas, et al.
Publicado: (2024)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
por: Dong, Yi, et al.
Publicado: (2022)

Pre-Execution Safety Gate & Task Safety Contracts for LLM-Controlled Robot Systems
por: Obi, Ike, et al.
Publicado: (2026)

AnySafe: Adapting Latent Safety Filters at Runtime via Safety Constraint Parameterization in the Latent Space
por: Agrawal, Sankalp, et al.
Publicado: (2025)

Neural Network-Based Adaptive Event-Triggered Control for Dual-Arm Unmanned Aerial Manipulator Systems
por: Wang, Yang, et al.
Publicado: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
por: Zhao, Yiqi, et al.
Publicado: (2023)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
por: Saadat, Maryam Ghaffari, et al.
Publicado: (2024)

Hybrid Safety Verification of Multi-Agent Systems using $ψ$-Weighted CBFs and PAC Guarantees
por: Margapuri, Venkat, et al.
Publicado: (2025)

Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
por: Ma, Xinhang, et al.
Publicado: (2025)

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

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
por: Mazouz, Rayan, et al.
Publicado: (2022)

Developing Neural Network-Based Gaze Control Systems for Social Robots
por: Tabatabaei, Ramtin, et al.
Publicado: (2026)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
por: Watson, Christopher, et al.
Publicado: (2025)

Enhancing Inverse Reinforcement Learning through Encoding Dynamic Information in Reward Shaping
por: Zhan, Simon Sinong, et al.
Publicado: (2024)

Trojan Attacks on Neural Network Controllers for Robotic Systems
por: Younesi, Farbod, et al.
Publicado: (2026)

SAFE-TAXI: A Hierarchical Multi-UAS Safe Auto-Taxiing Framework with Runtime Safety Assurance and Conflict Resolution
por: Pant, Kartik A., et al.
Publicado: (2025)

Gated Uncertainty-Aware Runtime Dual Invariants for Neural Signal-Controlled Robotics
por: Kim, Tasha, et al.
Publicado: (2025)

Safety Meets Speed: Accelerated Neural MPC with Safety Guarantees and No Retraining
por: Wang, Kaikai, et al.
Publicado: (2025)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
por: Dutta, Souradeep, et al.
Publicado: (2023)

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

System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models
por: Li, Xiao, et al.
Publicado: (2023)

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

Enhancing 3D Object Detection by Using Neural Network with Self-adaptive Thresholding
por: Liu, Houze, et al.
Publicado: (2024)

Graph Neural Network-based Multi-agent Reinforcement Learning for Resilient Distributed Coordination of Multi-Robot Systems
por: Goeckner, Anthony, et al.
Publicado: (2024)

Inverse Delayed Reinforcement Learning
por: Zhan, Simon Sinong, et al.
Publicado: (2024)