Search
 
loader loading subjects...
cover
Effective Analysis of Infinite State Stochastic Processes Games
Antonín Kučera
155 - 178
10.3233/978-1-60750-100-8-155
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 25: Logics and Languages for Reliability and Security
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart