From invariant checking to invariant inference using randomized search.

Rahul Sharma Alex Aiken

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

Keyphrases

affine transformation
affine invariant
randomized search
image sequences
belief networks
bayesian inference
neural network
multiscale
cost function
computational efficiency
moment invariants
quasi invariant