Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
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
Privacy
Terms
Help
About Scholar
Search help