Informace o projektu
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
- Kód projektu
- GA18-11193S
- Období řešení
- 1/2018 - 12/2020
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Univerzita Palackého v Olomouci
- Odpovědná osoba prof. RNDr. Petr Jančar, CSc.
Algoritmická teorie her poskytuje modelovací a analytické prostředky hojně využívané v různých oblastech informatiky, včetně formální verifikace a multi-agentních systémů. V rámci projektu je věnována speciální pozornost hrám s nekonečnou arénou a také hrám modelujícím chování agentů v diskrétním prostředí. Přestože tyto typy her se zkoumají v různých kontextech (formální verifikace vs. umělá inteligence), jejich základní charakteristiky jsou podobné a k jejich řešení je možné kombinovat metodologie z obou oblastí. Projekt je zaměřen na řešení otevřených problémů o tomto typu her, které zahrnují fundamentální otázky týkající se existence rovnovážných stavů, optimálních strategií a existence algoritmů pro jejich konstrukci.
Publikace
Počet publikací: 17
2018
-
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, rok: 2018
-
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), rok: 2018
-
Continuous-Time Markov Decisions Based on Partial Exploration
Automated Technology for Verification and Analysis. ATVA 2018, rok: 2018
-
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), rok: 2018
-
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
29th International Conference on Concurrency Theory (CONCUR 2018), rok: 2018
-
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), rok: 2018
-
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
Computer Aided Verification (CAV 2018), rok: 2018