KUČERA, Antonín. Effective Analysis of Infinite State Stochastic Processes and Games. In ESPARZA, Javier, Bernd SPANFELNER a Orna GRUMBERG. Logics and Languages for Reliability and Security. Amsterdam, The Netherlands: IOS Press, 2010. s. 155-179, 25 s. NATO Science for Peace and Security Series, D, 25. ISBN 978-1-60750-099-5.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Effective Analysis of Infinite State Stochastic Processes and Games
Autoři KUČERA, Antonín (203 Česká republika, garant).
Vydání Amsterdam, The Netherlands, Logics and Languages for Reliability and Security, od s. 155-179, 25 s. NATO Science for Peace and Security Series, D, 25, 2010.
Nakladatel IOS Press
Další údaje
Originální jazyk angličtina
Typ výsledku Kapitola resp. kapitoly v odborné knize
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemsko
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/10:00043952
Organizační jednotka Fakulta informatiky
ISBN 978-1-60750-099-5
Klíčová slova anglicky Markov chains; stochastic games; pushdown automata
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 13. 7. 2010 09:55.
Anotace
We consider the classes of Markov chains, Markov decision processes, and stochastic games definable by pushdown automata with probabilistic and non-deterministic choice. We give an overview of the existing results and present selected concepts and techniques that have been used to establish these results.
Anotace česky
Uvažujeme třídy Markovovských řetězců, Markovovských rozhodovacích procesů a stochastických her, které jsou definovatelné zásobníkovými automaty s nedeterministickou a pravděpodobnostní volbou. Je podán přehled existujících výsledků a důkazových technik.
Návaznosti
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 19. 10. 2019 02:10