Analyzing Büchi Automata with Graph Neural Networks.
Christophe StammetPrisca DottiUlrich Ultes-NitscheAndreas FischerPublished in: CoRR (2022)
Keyphrases
- neural network
- graph representation
- pattern recognition
- graph structure
- graph theory
- back propagation
- neural network model
- genetic algorithm
- graph model
- graph mining
- directed graph
- cellular automata
- structured data
- feed forward
- multi layer
- training process
- random walk
- graph partitioning
- graph theoretic
- finite automata
- weighted graph
- link analysis
- artificial neural networks
- decision trees