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