FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Divide-and-Conquer Determinization for B\"uchi Automata

Author: Yong Li

Paper Information

Title:Divide-and-Conquer Determinization for B\"uchi Automata
Authors:Yong Li
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Determinization, B\"uchi automata, Strongly Connected Components (SCCs), Divide-and-conquer, Deterministic Emerson-Lei automata
Pages:1
Talk:Aug 01 12:10 (Session 33)
Paper: