Time-bounded reachability in tree-structured QBDs by abstraction.

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

Published in: Perform. Evaluation (2011)

Keyphrases

tree structure
tree structured data
binary tree
structured data
high level
index structure
tree structures
tree construction
tree structured patterns
machine learning
genetic algorithm
decision trees
multiresolution
transitive closure
structured learning
tree nodes