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
2020
-
Adversarial Patrolling with Drones
Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, year: 2020
-
Efficient Analysis of VASS Termination Complexity
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2020
-
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
Computer Aided Verification, CAV 2020, year: 2020
-
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020
2019
-
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, year: 2019
-
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
ACM Transactions on Modeling and Computer Simulation (TOMACS), year: 2019, volume: 29, edition: 4, DOI
-
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
30th International Conference on Concurrency Theory (CONCUR 2019), year: 2019
-
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
Computer Aided Verification (CAV 2019), year: 2019
-
Strategy Representation by Decision Trees with Linear Classifiers
Quantitative Evaluation of Systems (QEST 2019), year: 2019
-
Unbounded Orchestrations of Transducers for Manufacturing
Proceedings of the AAAI Conference on Artificial Intelligence, year: 2019