Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.

Min Wan Gianfranco Ciardo

Published in: SOFSEM (2009)

Keyphrases

state space
markov decision processes
decision diagrams
heuristic search
digital circuits
reinforcement learning
computational complexity
data model
multi dimensional
distributed systems
knowledge based systems
database management systems
complex systems