Follow
Formal Synthesis of Controllers for Uncertain Linear Systems against $\omega$-Regular Properties: A Set-based Approach. (arXiv:2111.08734v1 [eess.SY]) http://arxiv.org/abs/2111.08734
Formal Synthesis of Controllers for Uncertain Linear Systems against $\omega$-Regular Properties: A Set-based Approach. (arXiv:2111.08734v1 [eess.SY]) http://arxiv.org/abs/2111.08734