Informace o projektu
Verifikace a analýza pravděpodobnostních programů
- Kód projektu
- GA19-15134Y
- Období řešení
- 1/2019 - 12/2021
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Juniorské granty
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- doc. RNDr. Petr Novotný, Ph.D.
- Mgr. Jiří Vahala
- RNDr. Bc. Dominik Velan, Ph.D.
Pravděpodobnostní programy (PP) jsou programy napsané v některém z univerzálních programovacích jazyků obohaceném o pravděpodobnostní instrukce, např. o náhodné přiřazení hodnot proměnným dle dané distribuce. PP jsou využívány v různorodých oblastech, ke kterým patří strojové učení, počítačová bezpečnost či analýza síťových systémů. Abychom mohli zajistit, že systémy vyvíjené v těchto oblastech budou bezpečné a spolehlivé, je nutné vyvinout techniky pro jejich automatickou verifikaci, které musí pokrývat i verifikaci pravděpodobnostních programů. Cílem tohoto projektu je vyvinout automatické techniky pro analýzu a verifikaci těchto programů. Pro dosažení tohoto cíle navrhneme nové fundamentální koncepty (např. nové typy důkazů terminace či absence chyb v programu) a nové algoritmy založené na těchto konceptech. Rovněž budeme zkoumat využití těchto nových technik v aplikacích specifických pro oblast umělé inteligence (UI). Výsledky budou publikovány ve sbornících předních konferencí zaměřených na programovací jazyky, verifikaci a UI, a rovněž ve vybraných časopisech.
Publikace
Počet publikací: 7
2020
-
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications
Proceedings of the International Conference on Automated Planning and Scheduling, rok: 2020
-
Qualitative Controller Synthesis for Consumption Markov Decision Processes
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, rok: 2020
-
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, rok: 2020
-
Termination Analysis of Probabilistic Programs with Martingales
Foundations of Probabilistic Programming, rok: 2020, počet stran: 38 s.
2019
-
Bidding Games on Markov Decision Processes
Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings., rok: 2019
-
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, rok: 2019
-
On the Complexity of Value Iteration
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), rok: 2019