Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction.

Sven Schneider Maria Maximova Holger Giese

Published in: ICGT (2022)

Keyphrases

multi agent
graph transformation
statistical analysis
building blocks
expert systems
database
databases
image processing
multiscale
cooperative
multi agent systems
data analysis
complex systems
quantitative analysis