Frantisek Blahoudek

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