Efficient Computation of Recurrence Diameters.

Daniel Kroening, Ofer Strichman

Browse the full VMCAI paper archive.