Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

Dirk Beyer Andreas Noack

Published in: FORTE (2003)

Keyphrases

state space
decision diagrams
markov decision processes
reinforcement learning
dynamical systems
digital circuits
dynamic programming
model checking
multiresolution
planning problems
data mining
image sequences
search algorithm
motion estimation
post processing