Finding Recurrent Sets with Backward Analysis and Trace Partitioning.

Alexey Bakhirkin, Nir Piterman

Browse the full TACAS paper archive.