Mgr. Michal Ajdarów

Advanced ('rigorózní') thesis

Algorithmic Asymptotic Analysis of Infinite-Sate Systems

Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Abstract:
Jedním ze základních modelů pro analýzu nekonečně stavových systémů jsou vector addition system with states (VASS). VASSy je možné využít k modelování různorodých systémů, a posléze k rozhodování o jejich asymptotických vlastnostech. Teze dizertační práce se věnují problémům týkajících se asymptotických vlastností, jako jsou složitost terminace, složitost přechodů a složitost counterů, na VASSech a …more
Abstract:
One of fundamental models for analysis of infinite-state systems is one of vector addition systems with states (VASS). VASS can be used to reason about various systems, including about their asymptotic properties. My PhD thesis proposal focuses on exploring the asymptotic properties, such as termination complexity, transition complexity and counter complexity, for VASS and it's modifications such as …more
 

Keywords

vector addition systems with states termination complexity VASS-MDP asymptotic complextity
 
Language used: English
Date on which the thesis was submitted / produced: 21. 9. 2022
Identifier: https://is.muni.cz/th/djo4q/

Thesis defence

  • Date of defence: 18. 1. 2023
  • Reader: prof. RNDr. Petr Jančar, CSc., Dr. Wojciech Czerwiński

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / field:
Theoretical computer science / Theoretical computer science

Theses on a related topic

List of theses with an identical keyword.