Better Quality in Synthesis through Quantitative Objectives

Roderick Bloem Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann

Published in: CoRR (2009)

Keyphrases

high quality
quantitative measures
higher quality
program synthesis
low quality
trade off
quantitative and qualitative
qualitative and quantitative
medical images
special case
databases
expert systems
data streams
data structure
multi agent
image segmentation
web services