Field of study: Computing Technology and Methodology
Topics of doctoral theses (supervisor)
-
Minimal sets over a monotone predicate: Enumeration and counting –
graduate 2021
Field of study: Informatics
Topics of doctoral theses (supervisor)
-
Parameter Synthesis for Systems with Real Time –
graduate 2018
-
Control Strategy Synthesis for Path Planning under Temporal Constraints –
graduate 2015
-
Modeling Problem Solving Times in Tutoring Systems –
graduate 2013
-
Quantitative Formal Methods for High-level Robot Path Planning –
graduate 2013
-
Disjunctive Modal Transition Systems –
graduate 2012
-
Model Checking of Control-User Systems –
graduate 2009
-
Reduction and Abstraction Techniques for Model Checking –
graduate 2006
Detailed information on doctoral topics and students