Masaryk University

Publication Records

česky | in English

Filter publications

    2006

    1. Distributed Qualitative LTL Model Checking of Markov Decision Processes
      BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA and Jana TŮMOVÁ. Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany: University of Bonn, 2006, p. 1-15. ISSN 1571-0661.
      More: https://is.muni.cz/publication/702452/en
Display details
Displayed: 30/5/2024 16:55