Pegasus: A Framework for Sound Continuous Invariant Generation.

Andrew Sogokon Stefan Mitsch Yong Kiam Tan Katherine Cordwell André Platzer

Published in: FM (2019)

Keyphrases

main contribution
machine learning
genetic algorithm
search engine
feature vectors
input image
open source
computational model
affine transformation
affine invariant
computational framework
framework enables