| The Hanoi omega-automata format T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ... International Conference on Computer Aided Verification, 479-486, 2015 | 60 | 2015 |
| Effective translation of LTL to deterministic Rabin automata: Beyond the (F, G)-fragment T Babiak, F Blahoudek, M Křetínský, J Strejček Automated Technology for Verification and Analysis, 24-39, 2013 | 44 | 2013 |
| Effective translation of LTL to deterministic Rabin automata: Beyond the (F, G)-fragment T Babiak, F Blahoudek, M Křetínský, J Strejček Automated Technology for Verification and Analysis, 24-39, 2013 | 44 | 2013 |
| Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai International Conference on Tools and Algorithms for the Construction and …, 2016 | 20 | 2016 |
| Comparison of LTL to deterministic Rabin automata translators F Blahoudek, M Křetínský, J Strejček International Conference on Logic for Programming Artificial Intelligence …, 2013 | 18 | 2013 |
| Seminator: A Tool for Semi-Determinization of Omega-Automata. F Blahoudek, A Duret-Lutz, M Klokocka, M Kretínský, J Strejcek LPAR, 356-367, 2017 | 10 | 2017 |
| Is there a best Büchi automaton for explicit model checking? F Blahoudek, A Duret-Lutz, M Křetínský, J Strejček Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014 | 8 | 2014 |
| Generic emptiness check for fun and profit C Baier, F Blahoudek, A Duret-Lutz, J Klein, D Müller, J Strejček International Symposium on Automated Technology for Verification and …, 2019 | 4 | 2019 |
| ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata J Major, F Blahoudek, J Strejček, M Sasaráková, T Zbončáková International Symposium on Automated Technology for Verification and …, 2019 | 3 | 2019 |
| On refinement of Büchi automata for explicit model checking F Blahoudek, A Duret-Lutz, V Rujbr, J Strejček International SPIN Workshop on Model Checking of Software, 66-83, 2015 | 2 | 2015 |
| Translation of an LTL fragment to deterministic Rabin and Streett automata F Blahoudek Masarykova univerzita, Fakulta informatiky, 2012 | 2 | 2012 |
| LTL to smaller self-loop alternating automata and back F Blahoudek, J Major, J Strejček International Colloquium on Theoretical Aspects of Computing, 152-171, 2019 | 1 | 2019 |
| Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking F Blahoudek MOVEP 14, 89-94, 2014 | 1 | 2014 |
| LTL to self-loop alternating automata with generic acceptance and back F Blahoudek, J Major, J Strejček Theoretical Computer Science 840, 122-142, 2020 | | 2020 |
| Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization F Blahoudek, A Duret-Lutz, J Strejček International Conference on Computer Aided Verification, 15-27, 2020 | | 2020 |
| Qualitative Controller Synthesis for Consumption Markov Decision Processes F Blahoudek, T Brázdil, P Novotný, M Ornik, P Thangeda, U Topcu International Conference on Computer Aided Verification, 421-447, 2020 | | 2020 |
| ltl3tela: Small Deterministic or Nondeterministic Automata from LTL J Major, F Blahoudek, M Jánošová, J Strejček, T Zbončáková Springer, 2019 | | 2019 |
| automata for formal methods F Blahoudek | | 2018 |
| Nástroje pro automatickou analýzu dynamicky alokované paměti F Blahoudek Masarykova univerzita, Fakulta informatiky, 2009 | | 2009 |
| Linear Temporal Logic and ω-automata F Blahoudek | | |
Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz
