Computing Invariants for Parameter Abstraction.

Yi Lv Huimin Lin Hong Pan

Published in: MEMOCODE (2007)

Keyphrases

input parameters
affine invariant
genetic algorithm
parameter settings
real time
databases
website
multi agent
parameter values