From boolean to quantitative synthesis.

Pavol Cerný Thomas A. Henzinger

Published in: EMSOFT (2011)

Keyphrases

boolean functions
qualitative and quantitative
quantitative and qualitative
program synthesis
search engine
real valued
quantitative measures
learning environment
expert systems
medical images
information technology
real time
video sequences
database systems
computer vision
genetic algorithm
real world