Conference paper

Č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.
Publication language:english
Original title:Shepherding Hordes of Markov Chains
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)
Place:Praha, CZ
Year:2019
ISBN:978-3-030-17464-4
Publisher:Springer International Publishing
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=11964}
}

Your IPv4 address: 34.228.194.177