Fingerprint
Dive into the research topics of 'Profile trees for Büchi word automata, with application to determinization'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 journal › Article › peer-review