Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Comparison of Algorithms for Checking Emptiness on Büchi Automata


Andreas Gaiser and Stefan Schwoon. Comparison of algorithms for checking emptiness on Büchi automata. Technical Report 0910.3766, Computing Research Repository, 2009.

Suggested BibTeX entry:

    author = {Andreas Gaiser and Stefan Schwoon},
    institution = {Computing Research Repository},
    number = {0910.3766},
    title = {Comparison of Algorithms for Checking Emptiness on {B\"uchi} Automata},
    year = {2009}

PDF (160 kB)
Conference version