Time-Bounded Reachability in Tree-Structured QBDs by Abstraction.

Daniel Klink Anne Remke Boudewijn R. Haverkort Joost-Pieter Katoen

Published in: QEST (2009)

Keyphrases

tree structure
tree structured data
high level
tree structures
real world
neural network
state space
index structure
structured learning
transitive closure
tree search
tree construction
tree structured patterns
tree models
binary tree
spanning tree
hierarchical structure
structured data
search space