@misc{indiciae736bec282a60, title = {Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications}, author = {Kunal Garg and Dimitra Panagou}, year = {2019}, doi = {10.1109/cdc40024.2019.9029666}, url = {https://arxiv.org/abs/1903.06972}, note = {Source identifier: 1903.06972} }