Frantisek Blahoudek

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 17

Top Topics

Deterministic Automata

Top Venues

Publications

Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Trans. Autom. Control. 68 (8) (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints. FM (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints (Technical Report). CoRR (2022)
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning. IEEE Trans. Control. Netw. Syst. 9 (3) (2022)
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. CoRR (2021)
Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM (2021)
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Efficient Strategy Synthesis for MDPs with Resource Constraints. CoRR (2021)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CAV (2) (2020)
Frantisek Blahoudek, Juraj Major, Jan Strejcek
LTL to self-loop alternating automata with generic acceptance and back. Theor. Comput. Sci. 840 (2020)
Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. CAV (2) (2020)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CoRR (2020)
Frantisek Blahoudek, Juraj Major, Jan Strejcek
LTL to Smaller Self-Loop Alternating Automata and Back. CoRR (2019)
Frantisek Blahoudek, Juraj Major, Jan Strejcek
LTL to Smaller Self-Loop Alternating Automata and Back. ICTAC (2019)
Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek
Generic Emptiness Check for Fun and Profit. ATVA (2019)
Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. ATVA (2019)
Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek
Seminator: A Tool for Semi-Determinization of Omega-Automata. LPAR (2017)
Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai
Complementing Semi-deterministic Büchi Automata. TACAS (2016)
Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek
On Refinement of Büchi Automata for Explicit Model Checking. SPIN (2015)
Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
The Hanoi Omega-Automata Format. CAV (1) (2015)
Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
Is there a best büchi automaton for explicit model checking? SPIN (2014)
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. ATVA (2013)
Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Comparison of LTL to Deterministic Rabin Automata Translators. LPAR (2013)
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment. CoRR (2013)