2006 | OriginalPaper | Chapter
Observations on Determinization of Büchi Automata
Authors : Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
Published in: Implementation and Application of Automata
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
The two determinization procedures of Safra and Muller-Schupp for Büchi automata are compared, based on an implementation in a program called OmegaDet.