Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares

Li Wang, Dongkun Han, Magnus Egerstedt