@misc{indiciaecea9fff82640,
  title = {Hybrid Safety Verification of Multi-Agent Systems using \$ψ\$-Weighted CBFs and PAC Guarantees},
  author = {Venkat Margapuri and Garik Kazanjian and Naren Kosaraju},
  year = {2025},
  url = {https://arxiv.org/abs/2509.20093},
  note = {Source identifier: 2509.20093}
}