Login / Signup
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