Jan Křetínský
Masaryk University(CZ)Technical University of Munich(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Reliability and Analysis Research, Logic, Reasoning, and Knowledge, Petri Nets in System Modeling
Most-Cited Works
- → Verification of Markov Decision Processes Using Learning Algorithms(2014)180 cited
- → Limit-Deterministic Büchi Automata for Linear Temporal Logic(2016)83 cited
- → The Hanoi Omega-Automata Format(2015)83 cited
- → Owl: A Library for $$\omega $$-Words, Automata, and LTL(2018)71 cited
- → From LTL to Deterministic Automata: A Safraless Compositional Approach(2014)56 cited
- → Deterministic Automata for the (F,G)-Fragment of LTL(2012)54 cited
- → The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models(2019)51 cited