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
602015
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
192016
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
182013
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
102017
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
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
42019
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
32019
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
22015
Translation of an LTL fragment to deterministic Rabin and Streett automata
F Blahoudek
Masarykova univerzita, Fakulta informatiky, 2012
22012
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
12019
Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking
F Blahoudek
MOVEP 14, 89-94, 2014
12014
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
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
2020
Qualitative Controller Synthesis for Consumption Markov Decision Processes
F Blahoudek, T Brázdil, P Novotný, M Ornik, P Thangeda, U Topcu
arXiv preprint arXiv:2005.07227, 2020
2020
ltl3tela: Small Deterministic or Nondeterministic Automata from LTL
J Major, F Blahoudek, M Jánošová, J Strejček, T Zbončáková
Springer, 2019
2019
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
Linear Temporal Logic and ω-automata
F Blahoudek
The system can't perform the operation now. Try again later.
Articles 1–20