Pegasus: sound continuous invariant generation.

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

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

open source
affine transformation
affine invariant
generation algorithm
web services
data sets
computer vision
color images
image matching
invariant features
moment invariants
generation process
decomposition algorithm