1 paper
Li Wang, Dongkun Han, Magnus Egerstedt
Motivated by the need to simultaneously guarantee safety and stability of safety-critical dynamical systems, we construct permissive barrier certificates in this paper that explici…