Comparator Automata in Quantitative Verification.

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Browse the full FOSSACS paper archive.