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

Nico Wallmeier Patrick Hütten Wolfgang 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