A new robust Q-CBF framework synthesized via adversarial RL enables safety enforcement on the maximal robust safe set for black-box nonlinear systems.
Hamilton-Jacobi reachability: A brief overview and recent advances
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
eess.SY 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Set-based safety verification with latent zonotopes achieves 5/5 collision-free passages in a 16D quadrotor task versus 1/5 for point evaluation by detecting blind spots and adapting per-head margins up to 12x.
citing papers explorer
-
Synthesis and Deployment of Maximal Robust Control Barrier Functions through Adversarial Reinforcement Learning
A new robust Q-CBF framework synthesized via adversarial RL enables safety enforcement on the maximal robust safe set for black-box nonlinear systems.
-
From Points to Sets: Set-Based Safety Verification in the Latent Space
Set-based safety verification with latent zonotopes achieves 5/5 collision-free passages in a 16D quadrotor task versus 1/5 for point evaluation by detecting blind spots and adapting per-head margins up to 12x.