Login / Signup
A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving.
Alexander Biewer
Benjamin Andres
Jens Gladigau
Torsten Schaub
Christian Haubelt
Published in:
DATE (2015)
Keyphrases
</>
cooperative
high level
solving problems
data sets
artificial intelligence
texture synthesis
finite domain