BoSy: An Experimentation Framework for Bounded Synthesis.

Peter Faymonville Bernd Finkbeiner Leander Tentrup

Published in: CoRR (2018)

Keyphrases

main contribution
conceptual framework
image registration
lightweight
theoretical framework
neural network
genetic algorithm
user interface
computational framework