GALS synthesis and verification for xMAS models.

Frank P. Burns Danil Sokolov Alexandre Yakovlev

Published in: DATE (2015)

Keyphrases

databases
three dimensional
model checking
neural network
artificial intelligence
prior knowledge
probabilistic model
complex systems
learned models
program synthesis
controller synthesis