Date:
Thursday, March 01, 2012
Speaker:
Antonin Kucera
Venue: IST Austria
Notes:
Evolutionary Biology room
The talk surveys recent results about infinite-state Markov chains and stochastic games generated by automata with one or more counters. Special attention will be devoted to stochastic one-counter automata and their basic properties such as termination probability or expected termination time. We also present some fresh (unpublished) results about one-counter Markov decision processes and non-stochastic games with multiple counters.