prof. RNDr. Ivana Černá, CSc.

vedoucí katedry – Katedra teorie programování

kancelář: A410
Botanická 554/68a
602 00 Brno

sociální a akademické sítě:

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