libmg
verifier
Initializing search
GitHub
Home
Tutorials
How-To Guides
Reference
Explanation
libmg
GitHub
Home
Tutorials
Tutorials
CTL Model Checking
Graph Convolutional Networks
How-To Guides
How-To Guides
Installation
How to define a dataset
How to define functions
How to define a compiler
How to create, run and optimize models
Visualization procedures
Reference
Reference
Grammar Reference
API reference
API reference
compiler
data
explainer
language
normalizer
verifier
visualizer
Explanation
Explanation
Syntax and Semantics of μG
Normalization
Explanation of μG models
verifier
Back to top