Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate. Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 10-29, Springer, 2023. [doi]
@inproceedings{RickardBRA23,
title = {Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics},
author = {Luke Rickard and Thom S. Badings and Licio Romao and Alessandro Abate},
year = {2023},
doi = {10.1007/978-3-031-43835-6_2},
url = {https://doi.org/10.1007/978-3-031-43835-6_2},
researchr = {https://researchr.org/publication/RickardBRA23},
cites = {0},
citedby = {0},
pages = {10-29},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
editor = {Nils Jansen 0001 and Mirco Tribastone},
volume = {14287},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-43835-6},
}