Faster Algorithms for Alternating Refinement Relations.

Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath

Browse the full CSL paper archive.