Informace o projektu
Basic model_checking problems for stochastic games
- Kód projektu
- MUNI/C/0007/2008
- Období řešení
- 9/2008 - 6/2009
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program rektora na podporu tvůrčí činnosti studentů
- Kat. C - Podpora vynikajících disertačních prací v oborech lékařství, zdravotnictví, přírodovědy a informatiky - centralizované prostředky
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- RNDr. Václav Brožek, Ph.D.