Výpis publikací

2006

1. Distributed Qualitative LTL Model Checking of Markov Decision Processes

   BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a 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, s. 1-15. ISSN 1571-0661.

   Podrobněji: https://is.muni.cz/publication/702452/cs