TY  - RPRT
TI  - SOS Construction of Compatible Control Lyapunov and Barrier Functions
AU  - Michael Schneeberger
AU  - Florian Dörfler
AU  - Silvia Mastellone
PY  - 2023
UR  - https://arxiv.org/abs/2305.01222
ID  - 2305.01222
ER  -