TY  - RPRT
TI  - Abstraction-Based Output-Feedback Control with State-Based Specifications
AU  - Anne-Kathrin Schmuck
AU  - Mehrdad Zareian
PY  - 2021
UR  - https://arxiv.org/abs/2104.10974
ID  - 2104.10974
ER  -