doc. RNDr. Milan Češka, Ph.D.
| e‑mail: |
|
|---|
Publikace
Počet publikací: 32
2007
-
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), rok: 2007
2006
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2006