Sciweavers

71
Voted
CAV
2009
Springer
155views Hardware» more  CAV 2009»
15 years 10 months ago
Better Quality in Synthesis through Quantitative Objectives
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
Roderick Bloem, Krishnendu Chatterjee, Thomas A. H...