@techreport{CoRR:1006.3638v1, author = {Andreas Bauer}, title = {Monitorability of $\omega$-regular languages}, type = {Computing Research Repository (CoRR)}, number = {abs/1006.3638}, year = 2010, month = Jun, institution = {Association for Computing Machinery (ACM)} }