TY  - RPRT
TI  - Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications
AU  - Kunal Garg
AU  - Dimitra Panagou
PY  - 2019
DO  - 10.1109/cdc40024.2019.9029666
UR  - https://arxiv.org/abs/1903.06972
ID  - 1903.06972
ER  -