bibliographer - Andrea Turrini

bibliographer a curated TCS bibliography

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

Modular Mix-and-Match Complementation of Buchi Automata Vojtěch Havlena Ondřej Lengál Yong Li Barbora Šmahlíková Andrea Turrini [github]

On the Power of Finite Ambiguity in Buchi Complementation Weizhi Feng Yong Li Andrea Turrini Moshe Y. Vardi Lijun Zhang [github]

Modular Mix-and-Match Complementation of Buchi Automata (Technical Report) Vojtěch Havlena Ondřej Lengál Yong Li Barbora Šmahlíková Andrea Turrini [github]

Divide-and-Conquer Determinization of Buchi Automata based on SCC Decomposition Yong Li Andrea Turrini Weizhi Feng Moshe Y. Vardi Lijun Zhang [github]

Advanced Automata-based Algorithms for Program Termination Checking Yu-Fang Chen Matthias Heizmann Ondřej Lengál Yong Li Ming-Hsien Tsai Andrea Turrini Lijun Zhang [github]

ROLL 1.0: ømega-Regular Language Learning Library Yong Li Xuechao Sun Andrea Turrini Yu-Fang Chen Junnan Xu [github]

Learning to Complement Buchi Automata Yong Li Andrea Turrini Lijun Zhang Sven Schewe [github]

Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time Holger Hermanns Andrea Turrini [github]

Compositional Bisimulation Minimization for Interval Markov Decision Processes Vahid Hashemi Holger Hermanns Lei Song K. Subramani Andrea Turrini Piotr Wojciechowski [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]