Loop Invariants from Counterexamples.

Marius Greitschus Daniel Dietsch Andreas Podelski

Published in: SAS (2017)

Keyphrases

artificial intelligence
moment invariants
geometric invariants
data sets
quasi invariant
neural network
information systems
image processing
multi agent
invariant features
differential operators
projective invariants