František Blahoudek
František Blahoudek
University of Texas at Austin
Verified email at fi.muni.cz - Homepage
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
682015
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
442013
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
442013
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
202016
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
132017
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
82014
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
62019
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
52019
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
32020
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
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
22019
Translation of an LTL fragment to deterministic Rabin and Streett automata
F Blahoudek
Masarykova univerzita, Fakulta informatiky, 2012
22012
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
12020
Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking
F Blahoudek
MOVEP 14, 89-94, 2014
12014
Efficient Strategy Synthesis for MDPs with Resource Constraints
F Blahoudek, P Novotný, M Ornik, P Thangeda, U Topcu
arXiv preprint arXiv:2105.02099, 2021
2021
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
M Cubuktepe, F Blahoudek, U Topcu
arXiv preprint arXiv:2105.01225, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20