Termination Time of Vector Addition Systems with States – RNDr. Bc. Dominik Velan
RNDr. Bc. Dominik Velan
Disertační práce
Termination Time of Vector Addition Systems with States
Termination Time of Vector Addition Systems with States
Anotace:
Vector Addition Systems with States (VASS) jsou důležitým modelem pro souběžné procesy, paralelní programy a parametrizované systémy. Mohou být také použity jako model programů za účelem získání odhadů na času a/nebo prostor, které tyto programy mohou vyžadovat. V této dizertační práci se zaměřujeme na získání odhadů na dobu terminace VASS a jejich rozšíření, zejména stochastické rozšíření a hry na …víceAbstract:
Vector Addition Systems with States (VASS) are a fundamental model for concurrent processes, parallel programs, and parametrised systems. They can be also used as models of programs for obtaining bounds on the time and/or space needed by the program. In this thesis, we focus on determining the bounds on the termination time of VASS and their extensions, namely VASS MDPs and VASS games, with an emphasis …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 16. 12. 2021
Identifikátor:
https://is.muni.cz/th/d9zyd/
Obhajoba závěrečné práce
- Obhajoba proběhla 14. 9. 2022
- Vedoucí: doc. RNDr. Tomáš Brázdil, Ph.D.
- Oponent: prof. RNDr. Petr Jančar, CSc., prof. Ranko Lazić
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyDoktorský studijní program / obor:
Informatika / Fundamenty informatiky
Práce na příbuzné téma
-
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Michal Ajdarów -
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Michal Ajdarów -
Sampling Methods for Risk-Averse MDP Solvers
Václav Nevyhoštěný -
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš -
Vacant taxi routing in Markov Decision Process (MDP)
Nurbulat Shektbayev