Synthesis from incompatible specifications.

Pavol Cerný Sivakanth Gopi Thomas A. Henzinger Arjun Radhakrishna Nishant Totla

Published in: EMSOFT (2012)

Keyphrases

artificial intelligence
expert systems
program synthesis
delay insensitive
databases
high level
mobile robot
machine learning
learning algorithm
computer vision
facial animation