Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

Award ID(s):: 1830549

NSF-PAR ID:: 10376872

Author(s) / Creator(s):: Li, Y.; Turrini, A.; Feng, W.; Vardi, M.Y.; Zhang, L.

Date Published:: 2022-07-01

Journal Name:: CAV 2022

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
The DOI is not currently available.