Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games.

Kousha Etessami, Mihalis Yannakakis

Browse the full STACS paper archive.