Improving Static Ordering of BDDs for Reachability Analysis.
Jorgiano VidalDavid DéharbeDominique BorrionePublished in: IWLS (2002)
Keyphrases
- reachability analysis
- timed automata
- model checking
- markov decision processes
- theorem prover
- first order logic
- incremental algorithms
- partial order
- binary decision diagrams
- multi valued
- state space
- heuristic search
- artificial intelligence
- knowledge compilation
- markov chain
- decision diagrams
- objective function
- image sequences