bibliographer - František Blahoudek

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Word Equations in Synergy with Regular Constraints (Technical Report) František Blahoudek Yu-Fang Chen David Chocholatý Vojtěch Havlena Lukáš Holík Ondřej Lengál Juraj Síč [github]

Qualitative Controller Synthesis for Consumption Markov Decision Processes František Blahoudek Tomáš Brázdil Petr Novotný Melkior Ornik Pranay Thangeda Ufuk Topcu [github]

Is There a Best BuChi Automaton for Explicit Model Checking František Blahoudek Alexandre Duret-Lutz Mojmír Křetínský Jan Strejček [github]

Complementing Semi-deterministic Buchi Automata František Blahoudek Matthias Heizmann Sven Schewe Jan Strejček Ming-Hsien Tsai [github]

Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment Tomáš Babiak František Blahoudek Mojmír Křetínský Jan Strejček [github]

Library Size: 13G (5 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]