Detail publikace

Shepherding Hordes of Markov Chains

ČEŠKA Milan, JANSEN Nils, JUNGES Sebastian a 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. Lecture Notes in Computer Science, roč. 11428. Praha: Springer International Publishing, 2019, s. 172-190. ISBN 978-3-030-17464-4. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-17465-1_10
Název česky
Syntéza topologie v Markovovských řetězcích
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Jansen Nils (RUN)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
URL
Abstrakt

Tento článek uvažuje problém syntézy topologie v Markovovských řetězcích a navrhuje řešení pomocí abstrakce založené na Markovovských rozhodovacích procesech a iterativní zjemněvání této abstrakce.

Rok
2019
Strany
172-190
Sborník
Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science
Svazek
11428
Konference
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Praha, CZ
ISBN
978-3-030-17464-4
Vydavatel
Springer International Publishing
Místo
Praha, CZ
DOI
UT WoS
000681174300010
EID Scopus
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",
   series = "Lecture Notes in Computer Science",
   volume = 11428,
   year = 2019,
   location = "Praha, CZ",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-17464-4",
   doi = "10.1007/978-3-030-17465-1\_10",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11964"
}
Nahoru