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