prof. RNDr. Ivana Černá, CSc.
kancelář: A410
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 3890 |
|---|---|
| e‑mail: |
|
| www: | http://www.fi.muni.cz/usr/cerna/ |
Školitel
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: Počítačové systémy a technologie
Témata závěrečných prací (školitel)
- Algorithms and tools for efficient analysis, design and verification of large-scale systems – probíhající studium