Brázdil, T., Forejt, V., Kucera, A., & Aceto, L. (2008). Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer.

Brázdil, T., V. Forejt, A. Kucera, and L. Aceto. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.

Brázdil, T., et al. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.