Buchumschlag

Hybrid Safety Verification of Multi-Agent Systems using $ψ$-Weighted CBFs and PAC Guarantees

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Margapuri, Venkat, Kazanjian, Garik, Kosaraju, Naren
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PEPS: Quantum-Inspired Reinforcement Learning for Coherent Reasoning Traces in LLMs
von: Margapuri, Venkat, et al.
Veröffentlicht: (2025)

Prompt Informed Reinforcement Learning for Visual Coverage Path Planning
von: Margapuri, Venkat
Veröffentlicht: (2025)

Predicting Mortality and Functional Status Scores of Traumatic Brain Injury Patients using Supervised Machine Learning
von: Steinmetz, Lucas, et al.
Veröffentlicht: (2024)

SHIELD: Safety on Humanoids via CBFs In Expectation on Learned Dynamics
von: Yang, Lizhi, et al.
Veröffentlicht: (2025)

Diagnosis and Severity Assessment of Ulcerative Colitis using Self Supervised Learning
von: Margapuri, Venkat
Veröffentlicht: (2024)

Force-Compliance MPC and Robot-User CBFs for Interactive Navigation and User-Robot Safety in Hexapod Guide Robots
von: Fan, Zehua, et al.
Veröffentlicht: (2025)

Embedding Semantic Risk into Distance Fields and CBFs for Online Monocular Safe Control
von: Zhang, Dawei, et al.
Veröffentlicht: (2026)

Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
von: Samak, Chinmay Vilas, et al.
Veröffentlicht: (2023)

Multi-Agent Path Finding Among Dynamic Uncontrollable Agents with Statistical Safety Guarantees
von: Strawn, Kegan J., et al.
Veröffentlicht: (2025)

Long-Horizon Geometry-Aware Navigation among Polytopes via MILP-MPC and Minkowski-Based CBFs
von: Chen, Yi-Hsuan, et al.
Veröffentlicht: (2026)

Safety Guaranteed Robust Multi-Agent Reinforcement Learning with Hierarchical Control for Connected and Automated Vehicles
von: Zhang, Zhili, et al.
Veröffentlicht: (2023)

Safety Meets Speed: Accelerated Neural MPC with Safety Guarantees and No Retraining
von: Wang, Kaikai, et al.
Veröffentlicht: (2025)

Case Study: Runtime Safety Verification of Neural Network Controlled System
von: Yang, Frank, et al.
Veröffentlicht: (2024)

A Computationally Aware Multi Objective Framework for Camera LiDAR Calibration
von: Karramreddy, Venkat, et al.
Veröffentlicht: (2025)

Mixed-Reality Digital Twins: Leveraging the Physical and Virtual Worlds for Hybrid Sim2Real Transition of Multi-Agent Reinforcement Learning Policies
von: Samak, Chinmay Vilas, et al.
Veröffentlicht: (2024)

Bayesian Safety Guarantees for Port-Hamiltonian Systems with Learned Energy Functions
von: Leung, Chi Ho, et al.
Veröffentlicht: (2025)

Rule-Based Lloyd Algorithm for Multi-Robot Motion Planning and Control with Safety and Convergence Guarantees
von: Boldrer, Manuel, et al.
Veröffentlicht: (2023)

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees
von: Madabushi, Varun, et al.
Veröffentlicht: (2026)

Time-Optimal Path Tracking with ISO Safety Guarantees
von: Fujii, Shohei, et al.
Veröffentlicht: (2023)

Fast Path Planning for Autonomous Vehicle Parking with Safety-Guarantee using Hamilton-Jacobi Reachability
von: Chi, Xuemin, et al.
Veröffentlicht: (2023)

Seed Kernel Counting using Domain Randomization and Object Tracking Neural Networks
von: Margapuri, Venkat, et al.
Veröffentlicht: (2023)

Leaf Angle Estimation using Mask R-CNN and LETR Vision Transformer
von: Margapuri, Venkat, et al.
Veröffentlicht: (2024)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
von: Barhoumi, Oumaima, et al.
Veröffentlicht: (2026)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
von: Mazouz, Rayan, et al.
Veröffentlicht: (2022)

Learning Complex Motion Plans using Neural ODEs with Safety and Stability Guarantees
von: Nawaz, Farhad, et al.
Veröffentlicht: (2023)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
von: Agrawal, Devansh R, et al.
Veröffentlicht: (2022)

Accelerated Spline-Based Time-Optimal Motion Planning with Continuous Safety Guarantees for Non-Differentially Flat Systems
von: Dirckx, Dries, et al.
Veröffentlicht: (2026)

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
von: Siriya, Seth, et al.
Veröffentlicht: (2024)

Robust Perception-Based Navigation using PAC-NMPC with a Learned Value Function
von: Polevoy, Adam, et al.
Veröffentlicht: (2023)

Density-Driven Optimal Control: Convergence Guarantees for Stochastic LTI Multi-Agent Systems
von: Lee, Kooktae
Veröffentlicht: (2026)

Quadrotor Stabilization with Safety Guarantees: A Universal Formula Approach
von: Li, Ming, et al.
Veröffentlicht: (2024)

Towards Sim2Real Transfer of Autonomy Algorithms using AutoDRIVE Ecosystem
von: Samak, Chinmay Vilas, et al.
Veröffentlicht: (2023)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
von: Omidi, Saber, et al.
Veröffentlicht: (2025)

Safety-Constrained Reinforcement Learning with Post-Training Reachability Verification for Robot Navigation
von: He, Qisong, et al.
Veröffentlicht: (2026)

Towards Validation of Autonomous Vehicles Across Scales using an Integrated Digital Twin Framework
von: Samak, Tanmay Vilas, et al.
Veröffentlicht: (2024)

A Systematic Digital Engineering Approach to Verification & Validation of Autonomous Ground Vehicles in Off-Road Environments
von: Samak, Tanmay Vilas, et al.
Veröffentlicht: (2025)

Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees
von: Ma, Xinhang, et al.
Veröffentlicht: (2025)

Grand Challenges in the Verification of Autonomous Systems
von: Leahy, Kevin, et al.
Veröffentlicht: (2024)

Multi-Source Encapsulation With Guaranteed Convergence Using Minimalist Robots
von: Sinhmar, Himani, et al.
Veröffentlicht: (2024)

MPC as a Copilot: A Predictive Filter Framework with Safety and Stability Guarantees
von: Yan, Yunda, et al.
Veröffentlicht: (2026)