Algorithmic Asymptotic Analysis of Infinite-Sate Systems – Mgr. Michal Ajdarów
Mgr. Michal Ajdarów
Advanced ('rigorózní') thesis
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 21. 9. 2022
Identifikátor:
https://is.muni.cz/th/djo4q/
Obhajoba závěrečné práce
- Obhajoba proběhla 18. 1. 2023
- Oponent: prof. RNDr. Petr Jančar, CSc., Dr. Wojciech Czerwiński
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 informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / odbor:
Theoretical computer science / Theoretical computer science