Regular Model Checking with Regular Relations.

Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi

Browse the full FCT paper archive.