Faculty of Information Technology, BUT

Publication Details

Shepherding Hordes of Markov Chains

ČEŠKA Milan, JANSEN Nils, JUNGES Sebastian and KATOEN Joost-Pieter. Shepherding Hordes of Markov Chains. In: Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Praha: Springer International Publishing, 2019, pp. 172-190. ISBN 978-3-030-17464-4.
Type
conference paper
Language
english
Authors
Češka Milan, RNDr., Ph.D. (DITS FIT BUT)
Jansen Nils (RUN)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Published
2019
Pages
172-190
Proceedings
Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Praha, CZ
ISBN
978-3-030-17464-4
Publisher
Springer International Publishing
Place
Praha, CZ
BibTeX
@INPROCEEDINGS{FITPUB11964,
   author = "Milan \v{C}e\v{s}ka and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen",
   title = "Shepherding Hordes of Markov Chains",
   pages = "172--190",
   booktitle = "Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   year = 2019,
   location = "Praha, CZ",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-17464-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11964"
}
Back to top