TY  - RPRT
TI  - Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications
AU  - Mohit Srinivasan
AU  - Samuel Coogan
PY  - 2020
UR  - https://arxiv.org/abs/1908.04903
ID  - 1908.04903
ER  -