%0 Journal Article %1 journals/tac/ZhongZC24 %A Zhong, Bingzhuo %A Zamani, Majid %A Caccamo, Marco %D 2024 %J IEEE Trans. Autom. Control. %K dblp %N 1 %P 214-229 %T Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. %U http://dblp.uni-trier.de/db/journals/tac/tac69.html#ZhongZC24 %V 69

@article{journals/tac/ZhongZC24, added-at = {2024-01-13T00:00:00.000+0100}, author = {Zhong, Bingzhuo and Zamani, Majid and Caccamo, Marco}, biburl = {https://www.bibsonomy.org/bibtex/26420d10970710129445cbf222eda3e3a/dblp}, ee = {https://doi.org/10.1109/TAC.2023.3267397}, interhash = {b4a731a44c09e529c4cd6d072bf2c36e}, intrahash = {6420d10970710129445cbf222eda3e3a}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, month = {January}, number = 1, pages = {214-229}, timestamp = {2024-04-08T17:32:26.000+0200}, title = {Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac69.html#ZhongZC24}, volume = 69, year = 2024 }