Project information
Basic model_checking problems for stochastic games
- Project Identification
- MUNI/C/0007/2008
- Project Period
- 9/2008 - 6/2009
- Investor / Pogramme / Project type
-
Masaryk University
- Rector's programme to support MU student's creative work
- Category C - centralized resources
- MU Faculty or unit
-
Faculty of Informatics
- RNDr. Václav Brožek, Ph.D.