The complexity of analyzing infinite-state Markov chains, Markov decision processes, and stochastic games (Invited talk).

Kousha Etessami

Browse the full STACS paper archive.