@misc{indiciaec7840438a973,
  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 = {2022},
  doi = {10.1109/tac.2023.3267397},
  url = {https://arxiv.org/abs/2111.08734},
  note = {Source identifier: 2111.08734}
}