Theses on a related topic (having the same keywords):

vass-mdp, termination complexity, vector addition systems with states, asymptotic complextity

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Velan, Dominik
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Theoretical Informatics
Advanced Master's thesis defence: Termination Complexity of Vector Addition Systems with States | Theses on a related topic Display description