| 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 | 129 | 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: 11th International …, 2013 | 54 | 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 | 45 | 2016 |
| 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 | 21 | 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 | 21 | 2020 |
| Comparison of LTL to deterministic Rabin automata translators F Blahoudek, M Křetínský, J Strejček Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 21 | 2013 |
| Seminator: A Tool for Semi-Determinization of Omega-Automata. F Blahoudek, A Duret-Lutz, M Klokocka, M Kretínský, J Strejcek LPAR 17, 356-367, 2017 | 18 | 2017 |
| Word equations in synergy with regular constraints F Blahoudek, YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J Síč International Symposium on Formal Methods, 403-423, 2023 | 16 | 2023 |
| 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 | 15 | 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 | 14 | 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 | 10 | 2014 |
| Efficient strategy synthesis for mdps with resource constraints F Blahoudek, P Novotný, M Ornik, P Thangeda, U Topcu IEEE Transactions on Automatic Control 68 (8), 4586-4601, 2022 | 5 | 2022 |
| 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 | 5 | 2019 |
| Automata for formal methods: little steps towards perfection F Blahoudek Ph. D. thesis, Masaryk University, Faculty of Informatics, 2018 | 5 | 2018 |
| Computer Aided Verification L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger, ... | 5 | 1994 |
| 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 | 4 | 2015 |
| Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning M Cubuktepe, F Blahoudek, U Topcu IEEE Transactions on Control of Network Systems 9 (3), 1327-1338, 2022 | 3 | 2022 |
| 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 | 3 | 2021 |
| Translation of an LTL fragment to deterministic Rabin and Streett automata F Blahoudek Master's thesis, Masarykova Univerzita, 2012 | 2 | 2012 |
| Word equations in synergy with regular constraints (technical report) F Blahoudek, YF Chen, D Chocholatý, V Havlena, L Holík, O Lengál, J Síč arXiv preprint arXiv:2212.02317, 2022 | 1 | 2022 |
Jan StrejčekMasaryk UniversityПідтверджена електронна адреса в fi.muni.cz