Brázdil, T., Forejt, V., Kucera, A., & Aceto, L. (2008). Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer.
Lua i Stíl Chicago (17ú heag.)Brázdil, T., V. Forejt, A. Kucera, agus L. Aceto. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.
Lua MLA (9ú heag.)Brázdil, T., et al. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. Springer, 2008.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.