Frantisek Blahoudek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
6
Active years
2013–2023
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | Word Equations in Synergy with Regular Constraints. | Frantisek Blahoudek, Yu-Fang Chen, David Chocholat, Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc |
| 2021 | FM | Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. | Frantisek Blahoudek, Murat Cubuktepe, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
| 2020 | CAV | Qualitative Controller Synthesis for Consumption Markov Decision Processes. | Frantisek Blahoudek, Toms Brzdil, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
| 2020 | CAV | Seminator 2 Can Complement Generalized Bchi Automata via Improved Semi-determinization. | Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek |
| 2019 | ATVA | Generic Emptiness Check for Fun and Profit. | Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Mller, Jan Strejcek |
| 2019 | ATVA | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. | Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasarkov, Tatiana Zbonckov |
| 2019 | ICTAC | LTL to Smaller Self-Loop Alternating Automata and Back. | Frantisek Blahoudek, Juraj Major, Jan Strejcek |
| 2017 | LPAR | Seminator: A Tool for Semi-Determinization of Omega-Automata. | Frantisek Blahoudek, Alexandre Duret-Lutz, Mikuls Klokocka, Mojmr Kretnsk, Jan Strejcek |
| 2016 | TACAS | Complementing Semi-deterministic Bchi Automata. | Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai |
| 2015 | CAV | The Hanoi Omega-Automata Format. | Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek |
| 2013 | ATVA | Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. | Toms Babiak, Frantisek Blahoudek, Mojmr Kretnsk, Jan Strejcek |
| 2013 | LPAR | Comparison of LTL to Deterministic Rabin Automata Translators. | Frantisek Blahoudek, Mojmr Kretnsk, Jan Strejcek |