User: Guest  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