Synthesis of Admissible Shields.

Laura R. Humphrey Bettina Könighofer Robert Könighofer Ufuk Topcu

Published in: Haifa Verification Conference (2016)

Keyphrases

state space
program synthesis
texture synthesis
data sets
three dimensional
databases
neural network
machine learning
e learning
multiscale
pairwise
relational databases
artificial neural networks
management system