Exponential space complexity for OBDD-based reachability analysis.

Published in: Inf. Process. Lett. (2010)

Keyphrases

space complexity
reachability analysis
model checking
temporal logic
timed automata
markov decision processes
arc consistency
ordered binary decision diagrams
worst case
incremental algorithms
space requirements
fine grained
artificial intelligence
lower bound
state space
model counting