Sign in

Synthesis from incompatible specifications.

Pavol CernýSivakanth GopiThomas A. HenzingerArjun RadhakrishnaNishant 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