Better Quality in Synthesis through Quantitative Objectives.

Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann

Browse the full CAV paper archive.