TY  - RPRT
TI  - Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints
AU  - Luyao Niu
AU  - Andrew Clark
PY  - 2020
DO  - 10.1109/cdc42340.2020.9304255
UR  - https://arxiv.org/abs/2007.13925
ID  - 2007.13925
ER  -