Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.

Published in: ICGT (2015)

Keyphrases

graph transformation
data analysis
management system
automatic analysis
image analysis
machine learning
learning systems
building blocks
intelligent systems
computing systems
complex systems
statistical analysis
computer systems
multi agent systems
search algorithm
multi agent
learning algorithm