Sign in

Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications.

Nico WallmeierPatrick HüttenWolfgang Thomas
Published in: CIAA (2003)
Keyphrases
  • high level
  • program synthesis
  • real time
  • computer vision
  • formal specification
  • symbolic representation
  • connectionist models
  • data sets
  • multiscale
  • low level
  • model checking
  • finite state machines