Obor: Informatika
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
Podrobné informace o tématech a doktorských studentech