| 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 | 91 | 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 | 49 | 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 | 49 | 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 | 33 | 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 | 19 | 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 | 16 | 2017 |
| 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 | 11 | 2020 |
| 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 | 10 | 2019 |
| 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 | 9 | 2014 |
| 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 | 8 | 2019 |
| Automata for formal methods: little steps towards perfection F Blahoudek Ph. D. thesis, Masaryk University, Faculty of Informatics, 2018 | 6 | 2018 |
| 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 | 5 | 2020 |
| 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 | 4 | 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 | 3 | 2015 |
| Translation of an LTL fragment to deterministic Rabin and Streett automata F Blahoudek Master’s thesis, Masarykova Univerzita, 2012 | 2 | 2012 |
| Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning M Cubuktepe, F Blahoudek, U Topcu IEEE Transactions on Control of Network Systems, 2022 | 1 | 2022 |
| Efficient Strategy Synthesis for MDPs with Resource Constraints F Blahoudek, P Novotný, M Ornik, P Thangeda, U Topcu arXiv preprint arXiv:2105.02099, 2021 | 1 | 2021 |
| Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking F Blahoudek MOVEP 14, 89-94, 2014 | 1 | 2014 |
| Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption F Blahoudek, M Cubuktepe, P Novotný, M Ornik, P Thangeda, U Topcu International Symposium on Formal Methods, 640-656, 2021 | | 2021 |
| 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 |
Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz
