Login / Signup
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space.
Beate Bollig
Published in:
SOFSEM (2010)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
search space
low dimensional
boolean functions
state space
decision makers
incremental algorithms