Jan Křetínský

Jan Křetínský

Masaryk University Brno; Technical University of Munich
Verified email at fi.muni.cz
Cited by 2874
formal verification probabilistic systems automata theory temporal logic learning in verification