Efficient analysis of stochastic systems and games with counters

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.

Posted in RiSE Seminar