doc. RNDr. Milan Češka, Ph.D.
e‑mail: |
---|
Total number of publications: 33
2007
-
ProbDiVinE
Year: 2007
-
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), year: 2007
2006
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2006