Magisterské projekty

Inteligentní systémy

Hýsek, J.	Evolutionary Design Using Rewriting Systems
Letko, Z.	Dynamic Detection and Healing of Low Level Data Races
Lodrová, D.	Liveness Testing by Fingers
Rozehnal, P.	Model Checking Infinite State Systems Based on Inference Regular Languages
Sivák, M.	Emotional Modelling in Communication Agents