Disertační práce

Termination Time of Vector Addition Systems with States

RNDr. Bc. Dominik Velan
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íce

Abstract

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

Klíčová slova
VASS VASS MDP VASS games termination time asymptotic complexity linear termination doba terminate asymptotická složitost lineární terminace hry na VASS
Administrativní informace
Práce zkontrolována:
10. 1. 2022 12:39, doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074
Plný text práce
1,1 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
14. 9. 2022
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074
KSUZD FI MU

Oponenti

prof. RNDr. Petr Jančar, CSc.
ext FI MU, Univerzita Palackého v Olomouci
prof. Ranko Lazić
University of Warwick
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Fundamenty informatiky

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.