Login / Signup

Environment Assumptions for Synthesis.

Krishnendu ChatterjeeThomas A. HenzingerBarbara Jobstmann
Published in: CONCUR (2008)
Keyphrases
  • mobile robot
  • real time
  • dynamic environments
  • indoor environments
  • multimedia
  • data sets
  • neural network
  • machine learning
  • wireless sensor networks
  • complex environments
  • mobile robotics
  • program synthesis