Using Language Inference to Verify Omega-Regular Properties.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Browse the full TACAS paper archive.