Omega-Regular Model Checking.

Bernard Boigelot, Axel Legay, Pierre Wolper

Browse the full TACAS paper archive.