Parameterized Synthesis with Safety Properties.

Oliver Markgraf Chih-Duo Hong Anthony W. Lin Muhammad Najib Daniel Neider

Published in: CoRR (2020)

Keyphrases

desirable properties
neural network
decision making
search algorithm
data mining
information retrieval
computer vision
website
feature extraction
preprocessing
relational databases
input image
united states
structural properties