SMT-Based Validation of Timed Failure Propagation Graphs.
Marco BozzanoAlessandro CimattiMarco GarioAndrea MicheliPublished in: AAAI (2015)
Keyphrases
- graph matching
- graph mining
- series parallel
- petri net
- directed graph
- spanning tree
- graph theory
- failure prediction
- neural network
- discrete event
- graph model
- weighted graph
- graph structure
- bipartite graph
- dynamic systems
- graph representation
- graph theoretic
- random graphs
- markov chain
- statistical machine translation
- graph construction
- subgraph isomorphism
- web services
- failure detection
- machine learning