Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs.

Published in: MMB (1999)

Keyphrases

transition systems
model checking
decision diagrams
binary decision diagrams
decision making
concurrent systems
temporal logic
heuristic search
finite state
rough sets
decision problems
control flow
decision processes