Quantitative Verification on Product Graphs of Small Treewidth.
Krishnendu ChatterjeeRasmus Ibsen-JensenAndreas PavlogiannisPublished in: FSTTCS (2021)
Keyphrases
- bounded treewidth
- life cycle
- graph structure
- model checking
- upper bound
- directed graph
- graph theory
- search space
- np complete
- quantitative and qualitative
- qualitative and quantitative
- graph matching
- boolean functions
- temporal logic
- information extraction
- weighted graph
- graph mining
- graph representation
- face verification
- product development
- formal verification
- small number