@article{formalsynthesisofcontrollersforuncertain,
  title = {Formal Synthesis of Controllers for Uncertain Linear Systems against $ω$-Regular Properties: A Set-based Approach},
  author = {Bingzhuo Zhong and Majid Zamani and Marco Caccamo},
  year = {2021},
  eprint = {2111.08734},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2111.08734v2},
}