Témata závěrečných prací (školitel)

• Parameter Synthesis for Systems with Real Time – absolvent 2018
• Control Strategy Synthesis for Path Planning under Temporal Constraints – absolvent 2015
• Modeling Problem Solving Times in Tutoring Systems – absolvent 2013
• Quantitative Formal Methods for High-level Robot Path Planning – absolvent 2013
• Disjunctive Modal Transition Systems – absolvent 2012
• Model Checking of Control-User Systems – absolvent 2009
• Reduction and Abstraction Techniques for Model Checking – absolvent 2006