Profile trees for Büchi word automata, with application to determinization

Seth Fogarty*, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

16 Scopus citations

Fingerprint

Dive into the research topics of 'Profile trees for Büchi word automata, with application to determinization'. Together they form a unique fingerprint.

Mathematics

Keyphrases

Computer Science

Biochemistry, Genetics and Molecular Biology

Chemical Engineering