Login
- Title:
Formal Synthesis of Controllers for Uncertain Linear Systems Against $\omega$-Regular Properties: A Set-Based Approach
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Zhong, Bingzhuo; Zamani, Majid; Caccamo, Marco
- Journal title:
- IEEE Transactions on Automatic Control
- Year:
- 2023
- Pages contribution:
- 1-16
- Fulltext / DOI:
- doi:10.1109/tac.2023.3267397
- Publisher:
- Institute of Electrical and Electronics Engineers (IEEE)
- E-ISSN:
- 0018-92861558-25232334-3303
- Date of publication:
- 01.01.2023
BibTeX