| KUČERA, Antonín. Effective Analysis of Infinite State Stochastic Processes and Games. In ESPARZA, Javier, Bernd SPANFELNER and Orna GRUMBERG. Logics and Languages for Reliability and Security. Amsterdam, The Netherlands: IOS Press, 2010, p. 155-179. NATO Science for Peace and Security Series, D, 25. ISBN 978-1-60750-099-5. |
Other formats:
BibTeX
LaTeX
RIS
@inbook{883810,
author = {Kučera, Antonín and Esparza, Javier and Spanfelner, Bernd and Grumberg, Orna},
address = {Amsterdam, The Netherlands},
booktitle = {Logics and Languages for Reliability and Security},
keywords = {Markov chains; stochastic games; pushdown automata},
language = {eng},
location = {Amsterdam, The Netherlands},
isbn = {978-1-60750-099-5},
pages = {155-179},
publisher = {IOS Press},
title = {Effective Analysis of Infinite State Stochastic Processes and Games},
year = {2010}
}
TY - CHAP
ID - 883810
AU - Kučera, Antonín - Esparza, Javier - Spanfelner, Bernd - Grumberg, Orna
PY - 2010
TI - Effective Analysis of Infinite State Stochastic Processes and Games
VL - NATO Science for Peace and Security Series, D, 25
PB - IOS Press
CY - Amsterdam, The Netherlands
SN - 9781607500995
KW - Markov chains
KW - stochastic games
KW - pushdown automata
N2 - 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.
ER -
KUČERA, Antonín. Effective Analysis of Infinite State Stochastic Processes and Games. In ESPARZA, Javier, Bernd SPANFELNER and Orna GRUMBERG. \textit{Logics and Languages for Reliability and Security}. Amsterdam, The Netherlands: IOS Press, 2010, p.~155-179. NATO Science for Peace and Security Series, D, 25. ISBN~978-1-60750-099-5.
|
