Skip to main content

Effective (and sometimes efficient) analysis of infinite state stochastic systems and games

Antonin Kucera ( Masaryk University, Brno, Czech Republic )

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.



Share this: