TY  - RPRT
TI  - Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares
AU  - Li Wang
AU  - Dongkun Han
AU  - Magnus Egerstedt
PY  - 2018
UR  - https://arxiv.org/abs/1802.08917
ID  - 1802.08917
ER  -