Šimáček Jiří: Symbolická verifikace s využitím konečných automatů a příbuzných formalismů, Benář Jakub: Navigace inteligentního systému - detail akce