František Blahoudek

Available identifiers

zbMath Open blahoudek.frantisekMaRDI QIDQ2202001

List of research outcomes

Publication	Date of Publication	Type
Efficient Strategy Synthesis for MDPs With Resource Constraints	2023-10-06	Paper
Word equations in synergy with regular constraints	2023-08-17	Paper
Seminator 2 can complement generalized Büchi automata via improved semi-determinization	2021-02-09	Paper
Qualitative controller synthesis for consumption Markov decision processes	2021-02-09	Paper
LTL to self-loop alternating automata with generic acceptance and back	2020-09-17	Paper
Generic Emptiness Check for Fun and Profit	2020-07-20	Paper
LTL to smaller self-loop alternating automata and back	2019-12-12	Paper
Complementing semi-deterministic Büchi automata	2019-09-17	Paper
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment	2014-07-08	Paper
Comparison of LTL to Deterministic Rabin Automata Translators	2014-01-17	Paper

Research outcomes over time

This page was built for person: František Blahoudek