Detail publikace

Shepherding Hordes of Markov Chains

ČEŠKA, M.; JANSEN, N.; JUNGES, S.; KATOEN, J. 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. Praha: Springer International Publishing, 2019. p. 172-190. ISBN: 978-3-030-17464-4.
Název česky
Syntéza topologie v Markovovských řetězcích
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
JANSEN, N.
JUNGES, S.
KATOEN, J.
URL
Klíčová slova

parametric Markov chains, synthesis from specification, Markov Decision Processes, abstraction refinement

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
ISBN
978-3-030-17464-4
Vydavatel
Springer International Publishing
Místo
Praha
DOI
10.1007/978-3-030-17465-1_10
UT WoS
000681174300010
EID Scopus
2-s2.0-85064560153
BibTeX 
@inproceedings{BUT156852,
  author="ČEŠKA, M. and JANSEN, N. and JUNGES, S. and KATOEN, J.",
  title="Shepherding Hordes of Markov Chains",
  booktitle="Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
  year="2019",
  series="Lecture Notes in Computer Science",
  volume="11428",
  pages="172--190",
  publisher="Springer International Publishing",
  address="Praha",
  doi="10.1007/978-3-030-17465-1\{_}10",
  isbn="978-3-030-17464-4",
  url="https://link.springer.com/chapter/10.1007/978-3-030-17465-1_10"
}
Soubory
Nahoru