A Technique for Invariant Generation.

Ashish Tiwari Harald Rueß Hassen Saïdi Natarajan Shankar

Published in: TACAS (2001)

Keyphrases

generation process
affine transformation
neural network
real time
databases
real world
quasi invariant