Quantitative abstraction refinement.

Pavol Cern, Thomas A. Henzinger, Arjun Radhakrishna

Browse the full POPL paper archive.