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.
|