Termination Time of Vector Addition Systems with States – RNDr. Bc. Dominik Velan
RNDr. Bc. Dominik Velan
Doctoral thesis
Termination Time of Vector Addition Systems with States
Termination Time of Vector Addition Systems with States
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 16. 12. 2021
Identifier:
https://is.muni.cz/th/d9zyd/
Thesis defence
- Date of defence: 14. 9. 2022
- Supervisor: doc. RNDr. Tomáš Brázdil, Ph.D.
- Reader: prof. RNDr. Petr Jančar, CSc., prof. Ranko Lazić
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Computer Science / Fundamentals of Computer Science
Theses on a related topic
-
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Michal Ajdarów -
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Michal Ajdarów -
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš -
Sampling Methods for Risk-Averse MDP Solvers
Václav Nevyhoštěný -
Vacant taxi routing in Markov Decision Process (MDP)
Nurbulat Shektbayev