Synthesis from hyperproperties.

Bernd Finkbeiner Christopher Hahn Philip Lukert Marvin Stenger Leander Tentrup

Published in: Acta Informatica (2020)

Keyphrases

database
multiscale
feature space
program synthesis
mechanical devices