## Author's notes on the paper “Short Witnesses and Accepting Lassos in Omega-automata”## ErratumOn page 9 of the paper (page 269 of the proceedings), there is a small error in the index bounds in the description of the safety automaton. The second and third bullet points in the definition of the transition function should read: ## Relationship to Other WorkThe paper discusses finding short accepting witnesses and lassos in omega-automata. As these can be seen as special cases of The proof idea of ## SlidesThe slides of the talk given at LATA 2010 are available here. |