František Blahoudek

MaRDI QIDQ2202001zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Efficient Strategy Synthesis for MDPs With Resource Constraints IEEE Transactions on Automatic Control	2023-10-06	Paper
Word equations in synergy with regular constraints Formal Methods	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 (available as arXiv preprint)	2021-02-09	Paper
LTL to self-loop alternating automata with generic acceptance and back Theoretical Computer Science	2020-09-17	Paper
Generic emptiness check for fun and profit Automated Technology for Verification and Analysis	2020-07-20	Paper
LTL to smaller self-loop alternating automata and back (available as arXiv preprint)	2019-12-12	Paper
Complementing semi-deterministic Büchi automata	2019-09-17	Paper
Effective translation of LTL to deterministic Rabin automata: beyond the \((\mathrm F,\mathrm G)\)-fragment Automated Technology for Verification and Analysis	2014-07-08	Paper
Comparison of LTL to Deterministic Rabin Automata Translators Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper

Research outcomes over time

This page was built for person: František Blahoudek