Go to main content | Go to main menu | Go to search

Project information
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů

Information

This project doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official project website can be found on muni.cz.
Investor logo
Project Identification
GA15-17564S
Project Period
1/2015 - 12/2017
Investor / Pogramme / Project type
Czech Science Foundation
  • Standard Projects
MU Faculty or unit
Faculty of Informatics

Projekt je orientován na rozvoj herně-teoretických metod pro formální analýzu a verifikaci interaktivních počítačových systémů. Chování takových systémů lze popsat v termínech teorie her jako hru dvou hráčů, systému a prostředí, kteří mají antagonistické cíle --- systém se snaží o splnění zadané verifikační podmínky, zatímco prostředí se snaží o opak. Tímto způsobem je možné problémy související s bezpečností, korektností a výkonem daného systému vyjádřit pomocí aparátu teorie her a využít příslušný teoretický aparát k jejich řešení.

Publications

Total number of publications: 17

2017

2016

Previous 1 2 Next

You are running an old browser version. We recommend updating your browser to its latest version.