Mapping Synthesis for Hyperproperties.

Tzu-Han Hsu Borzoo Bonakdarpour Eunsuk Kang Stavros Tripakis

Published in: CSF (2022)

Keyphrases

wide range
learning algorithm
program synthesis
databases
neural network
genetic algorithm
multimedia
objective function
data model