TY  - RPRT
TI  - Zonotope-based Controller Synthesis for LTL Specifications
AU  - Wei Ren
AU  - Julien Calbert
AU  - Raphael Jungers
PY  - 2021
UR  - https://arxiv.org/abs/2108.00704
ID  - 2108.00704
ER  -