Follow
František Blahoudek
František Blahoudek
Pure Storage
Verified email at fi.muni.cz
Title
Cited by
Cited by
Year
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
912015
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
492013
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
492013
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
332016
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
192013
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
162017
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
112020
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
102019
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
92014
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
82019
Automata for formal methods: little steps towards perfection
F Blahoudek
Ph. D. thesis, Masaryk University, Faculty of Informatics, 2018
62018
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
52020
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
42019
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
32015
Translation of an LTL fragment to deterministic Rabin and Streett automata
F Blahoudek
Master’s thesis, Masarykova Univerzita, 2012
22012
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
M Cubuktepe, F Blahoudek, U Topcu
IEEE Transactions on Control of Network Systems, 2022
12022
Efficient Strategy Synthesis for MDPs with Resource Constraints
F Blahoudek, P Novotný, M Ornik, P Thangeda, U Topcu
arXiv preprint arXiv:2105.02099, 2021
12021
Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking
F Blahoudek
MOVEP 14, 89-94, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–20