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

Venkat Margapuri, Garik Kazanjian, Naren Kosaraju

This study proposes a hybrid safety verification framework for closed-loop multi-agent systems under bounded stochastic disturbances. The proposed approach augments control barrier…