Project information
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
- Project Identification
- GA18-11193S
- Project Period
- 1/2018 - 12/2020
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Palacký University, Olomouc
- Responsible person 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.
Publications
Total number of publications: 17
2018
-
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, year: 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), year: 2018
-
Continuous-Time Markov Decisions Based on Partial Exploration
Automated Technology for Verification and Analysis. ATVA 2018, year: 2018
-
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018
-
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
29th International Conference on Concurrency Theory (CONCUR 2018), year: 2018
-
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), year: 2018
-
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
Computer Aided Verification (CAV 2018), year: 2018