Synthesis of Reactive(1) designs.

Roderick Bloem Barbara Jobstmann Nir Piterman Amir Pnueli Yaniv Sa'ar

Published in: J. Comput. Syst. Sci. (2012)

Keyphrases

design space exploration
program synthesis
artificial intelligence
medical images
agent architecture
event driven
database
databases
data mining
computer vision
design tools
design space