Synthesis for regular specifications over unbounded domains.

Jad Hamza Barbara Jobstmann Viktor Kuncak

Published in: FMCAD (2010)

Keyphrases

real world
application domains
case study
texture synthesis
formal specification
program synthesis
real time
data sets
face recognition
specification language
delay insensitive