1. Constrained Markov Decision Processes;Altman,1999
2. Markov decision processes with multiple long-run average objectives;Brázdil;Log. Methods Comput. Sci.,2014
3. Trading performance for stability in Markov decision processes;Brázdil,2013
4. Some algebraic and geometric computations in PSPACE;Canny,1988
5. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification;Chatterjee,2011