TY  - RPRT
TI  - Reachability-based Control Synthesis under Signal Temporal Logic Specifications
AU  - Wei Ren
AU  - Raphael Jungers
PY  - 2021
UR  - https://arxiv.org/abs/2110.08019
ID  - 2110.08019
ER  -