Detail publikace

Adaptive formal approximations of Markov chains

ABATE Alessandro, ANDRIUSHCHENKO Roman, ČEŠKA Milan a KWIATKOWSKA Marta. Adaptive formal approximations of Markov chains. Performance Evaluation, roč. 148, č. 102207, 2021, s. 1-23. ISSN 0166-5316. Dostupné z: https://www.sciencedirect.com/science/article/pii/S0166531621000249
Název česky
Adaptivní aproximace Markovových řetězců
Typ
článek v časopise
Jazyk
angličtina
Autoři
Abate Alessandro (UOx)
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Kwiatkowska Marta (UOx)
URL
Klíčová slova

Markovový řetězce, Pravděpodobnostní ověřování modelů, Aproximativní techniky, adaptivní agregace

Abstrakt

Tento článek prezentuje novou metodu pro adaptivní aproximace Markovových řetězců, která garantuje aproximační chybu.

Rok
2021
Strany
1-23
Časopis
Performance Evaluation, roč. 148, č. 102207, ISSN 0166-5316
Vydavatel
Elsevier Science
DOI
UT WoS
000648542900002
EID Scopus
BibTeX
@ARTICLE{FITPUB12500,
   author = "Alessandro Abate and Roman Andriushchenko and Milan \v{C}e\v{s}ka and Marta Kwiatkowska",
   title = "Adaptive formal approximations of Markov chains",
   pages = "1--23",
   journal = "Performance Evaluation",
   volume = 148,
   number = 102207,
   year = 2021,
   ISSN = "0166-5316",
   doi = "10.1016/j.peva.2021.102207",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12500"
}
Nahoru