3 research outputs found
Observations on Determinization of Büchi Automata
Get PDFThe two determinization procedures of Safra and Muller-Schupp for Büchi automata are compared, based on an implementation in a program called OmegaDet
Observations on determinization of Büchi Automata
No full textThe two determinization procedures of Safra and Muller-Schupp for Büchi automata are compared, based on an implementation in a program called OmegaDet
