Detail publikace

Adaptive formal approximations of Markov chains

ANDRIUSHCHENKO, R.; ČEŠKA, M.; ABATE, A.; KWIATKOWSKA, M. Adaptive formal approximations of Markov chains. PERFORMANCE EVALUATION, 2021, vol. 148, no. 102207, p. 1-23. ISSN: 0166-5316.
Název česky
Adaptivní aproximace Markovových řetězců
Typ
článek v časopise
Jazyk
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Abate Alessandro (FIT)
Kwiatkowska Marta (FIT)
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
DOI
10.1016/j.peva.2021.102207
UT WoS
000648542900002
EID Scopus
2-s2.0-85105204964
BibTeX 
@article{BUT171485,
  author="Roman {Andriushchenko} and Milan {Češka} and Alessandro {Abate} and Marta {Kwiatkowska}",
  title="Adaptive formal approximations of Markov chains",
  journal="PERFORMANCE EVALUATION",
  year="2021",
  volume="148",
  number="102207",
  pages="1--23",
  doi="10.1016/j.peva.2021.102207",
  issn="0166-5316",
  url="https://www.sciencedirect.com/science/article/pii/S0166531621000249"
}
Nahoru