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