Informace o projektu
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
- Kód projektu
- GA15-17564S
- Období řešení
- 1/2015 - 12/2017
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
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í.
Publikace
Počet publikací: 17
2016
-
Stability in Graphs and Games
27th International Conference on Concurrency Theory, CONCUR 2016, rok: 2016
-
Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, rok: 2016
2015
-
Cobra: A Tool for Solving General Deductive Games
Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), rok: 2015
-
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., rok: 2015
-
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS
Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings., rok: 2015
-
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
Quantitative Evaluation of Systems, rok: 2015
-
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Proceedings of ACM international conference on Hybrid Systems: Computation and Control, rok: 2015