Safety Verification of Nonlinear Switched Systems via Barrier Functions and Barrier Densities
Research article (2019 18th European Control Conference (ECC), 2019) · cited 16× · AI/ML