Termination and Invariance Analysis of Loops.

Aaron R. Bradley Zohar Manna

Published in: ATVA (2005)

Keyphrases

statistical analysis
database
real time
decision trees
high level
multi agent systems
multiresolution
quantitative analysis