Práce na příbuzné téma (mají shodná klíčová slova):
vass, vass mdp, doba terminate, linearni terminace, vass games, termination time, linear termination, asymptotic complexity, asymptoticka slozitost, hry na vassKlíčová slova abecedně | Klíčová slova dle četnosti
1.
Ajdarów, Michal
Fakulta: Fakulta informatiky
Rok: 2025, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Algorithmic Asymptotic Analysis of Probabilistic Vector Addition Systems with States | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2025, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Fundamenty informatiky
Obhajoba disertační práce: Algorithmic Asymptotic Analysis of Probabilistic Vector Addition Systems with States | Práce na příbuzné téma
2.
Dóczy, Jakub
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Softwarové systémy
Obhajoba diplomové práce: Automatic asymptotic-complexity detection of Python 3 implementations | Práce na příbuzné téma
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Softwarové systémy
Obhajoba diplomové práce: Automatic asymptotic-complexity detection of Python 3 implementations | Práce na příbuzné téma