Frantisek Blahoudek

According to our database, Frantisek Blahoudek authored at least 19 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Efficient Strategy Synthesis for MDPs With Resource Constraints.

Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

IEEE Trans. Autom. Control., August, 2023

Word Equations in Synergy with Regular Constraints.

Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning.

Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2022

Word Equations in Synergy with Regular Constraints (Technical Report).

Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc

CoRR, 2022

2021

Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning.

Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu

CoRR, 2021

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.

Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

LTL to self-loop alternating automata with generic acceptance and back.

Frantisek Blahoudek, Juraj Major, Jan Strejcek

Theor. Comput. Sci., 2020

Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization.

Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Qualitative Controller Synthesis for Consumption Markov Decision Processes.

Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

LTL to Smaller Self-Loop Alternating Automata and Back.

Frantisek Blahoudek, Juraj Major, Jan Strejcek

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.

Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková

Proceedings of the Automated Technology for Verification and Analysis, 2019

Generic Emptiness Check for Fun and Profit.

Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek

Proceedings of the Automated Technology for Verification and Analysis, 2019

2017

Seminator: A Tool for Semi-Determinization of Omega-Automata.

Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek

Proceedings of the LPAR-21, 2017

2016

Complementing Semi-deterministic Büchi Automata.

Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

On Refinement of Büchi Automata for Explicit Model Checking.

Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

The Hanoi Omega-Automata Format.

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Is there a best büchi automaton for explicit model checking?

Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

2013

Comparison of LTL to Deterministic Rabin Automata Translators.

Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.

Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek

Proceedings of the Automated Technology for Verification and Analysis, 2013