Effective (and sometimes efficient) analysis of infinite state stochastic systems and games
Antonin Kucera ( Masaryk University, Brno, Czech Republic )
- 11:30 1st February 2012 ( week 3, Hilary Term 2012 )051
The talk surveys recent results about selected classes of infinite-state Markov chains and stochastic games generated by various types of automata. Special attention will be devoted to recursive systems modeled by pushdown automata, and to systems with multiple resources modeled by multicounter automata. We also present some fresh (unpublished) results about a subclass of games over multicounter automata which is computationally tractable but still capable of modeling highly non-trivial systems.