Efficient Bchi Universality Checking.

Seth Fogarty, Moshe Y. Vardi

Browse the full TACAS paper archive.