Hybrid Safety Verification for Multi‑Agent Systems Using ψ‑Weighted CBFs

A ψ‑weighted control barrier function adds alignment between agents, and Monte Carlo tests yielded a PAC‑style safety guarantee preserving admissibility. Read more: getnews.me/hybrid-safety-verificati... #multirobot #safetyverification

Safety Verification using Interval Reachability and Subspace Sampling

Safety verification lifts systems and uses subspace sampling for tighter bounds, implemented in JAX and tested on a multi‑agent platoon avoiding an obstacle. Read more: getnews.me/safety-verification-usin... #safetyverification #jax