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
1132015
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
512013
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
512013
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
402016
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
202013
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
182017
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
162020
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
152020
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
132019
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
122019
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
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
72023
Automata for formal methods: little steps towards perfection
F Blahoudek
Ph. D. thesis, Masaryk University, Faculty of Informatics, 2018
52018
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
52015
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
Efficient Strategy Synthesis for MDPs with Resource Constraints
F Blahoudek, P Novotný, M Ornik, P Thangeda, U Topcu
IEEE Transactions on Automatic Control, 2022
32022
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
22022
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
22021
Translation of an LTL fragment to deterministic Rabin and Streett automata
F Blahoudek
Master’s thesis, Masarykova Univerzita, 2012
22012
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
12022
The system can't perform the operation now. Try again later.
Articles 1–20