TY  - RPRT
TI  - High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications
AU  - Wei Xiao
AU  - Calin A. Belta
AU  - Christos G. Cassandras
PY  - 2021
UR  - https://arxiv.org/abs/2102.06787
ID  - 2102.06787
ER  -