Závěrečná práce: RNDr. Michal Ajdarów: Algorithmic Asymptotic Analysis of Probabilistic Vector Addition Systems with States
Disertační práce
Algorithmic Asymptotic Analysis of Probabilistic Vector Addition Systems with States
Anotace
Pravděpodobnostní vector addition system with states (pVASS) je model kombinující nedeterministické a pravděpodobnostní chování, rozšířený o nezáporné celočíselné čítače, které mohou být během každého přechodu mezi stavy zvýšené či snížené. Jedná se o široce používaný model vhodný pro modelování systémů s nekonečným stavovým prostorem a s mnoha rozhodnutelnými vlastnostmi. V této disertaci vyvíjíme …více
Abstract
Probabilistic vector addition system with states (pVASS) is a model combining non-deterministic and probabilistic behavior, augmented with non-negative integer counters that can be incremented or decremented during each state transition. It is a widely used model useful for modeling infinite-state systems and with many decidable properties. In this thesis, we develop techniques for analyzing the asymptotic …více
1. 5. 2025 08:58, prof. RNDr. Antonín Kučera, Ph.D., učo 2508
Přílohy
Komise_pro_obhajobu_disertacni_prace.pdf
angličtina
Oponenti
Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
ext FI MU, PřF Univerzita Palackého v Olomouci
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Revisiting Uncertainty Quantification for Offline Reinforcement Learning
Mgr. Vít Unčovský -
Efficient Profile Synthesis for Multi-Agent Stochastic Shortest Path Problem
Ing. Michal Wagner -
Termination Time of Vector Addition Systems with States
RNDr. Bc. Dominik Velan, Ph.D. -
Reinforcement Learning of Risk-Averse Policies in Markov Decision Processes
Mgr. Jiří Vahala -
Termination Complexity of Vector Addition Systems with States
RNDr. Bc. Dominik Velan, Ph.D. -
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
RNDr. Michal Ajdarów, Ph.D. -
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
Bc. Šimon Brlej
Složky
Soubory
-
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.