Obor: Fundamenty informatiky
Témata závěrečných prací (školitel)
-
Probablistic temporal logics –
probíhající studium
-
Algoritmická analýza systémů s nekonečně mnoha stavy –
probíhající studium
-
Algorithmic Asymptotic Analysis of Probabilistic Vector Addition Systems with States –
absolvent 2025
-
Efficient Strategy Synthesis for Patrolling Games and Further Infinite-Horizon Objectives –
absolvent 2025
Obor: Informatika
Témata závěrečných prací (školitel)
-
Parameter Synthesis in Continuous-Time Stochastic Systems –
absolvent 2018
-
Controller Synthesis for Resource-Aware Systems –
absolvent 2015
-
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds –
absolvent 2014
-
Modal Transition Systems: Extensions and Analysis –
absolvent 2014
-
Automatic Bug-finding Techniques for Large Software Projects –
absolvent 2014
-
Symbolic Execution and Program Loops –
absolvent 2014
-
Basic Model Checking Problems for Stochastic Games –
absolvent 2009
-
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives –
absolvent 2009
-
Verification of Probabilistic Recursive Sequential Programs –
absolvent 2007
Podrobné informace o tématech a doktorských studentech
