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
Obor: Technologie a metodologie počítačových systémů
Témata závěrečných prací (školitel)
-
Algorithms and tools for efficient analysis, design and verification of large-scale systems –
absolvent 2021
Podrobné informace o tématech a doktorských studentech
