TY  - RPRT
TI  - Formal Synthesis of Controllers for Uncertain Linear Systems against $ω$-Regular Properties: A Set-based Approach
AU  - Bingzhuo Zhong
AU  - Majid Zamani
AU  - Marco Caccamo
PY  - 2022
DO  - 10.1109/tac.2023.3267397
UR  - https://arxiv.org/abs/2111.08734
ID  - 2111.08734
ER  -