Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis.
Jeroen MeijerJaco van de PolPublished in: NFM (2016)
Keyphrases
- variable ordering
- reachability analysis
- binary decision diagrams
- model checking
- markov decision processes
- branch and bound algorithm
- timed automata
- conflict directed
- max sat
- temporal logic
- incremental algorithms
- state space
- optimal policy
- propositional satisfiability
- boolean functions
- theorem prover
- genetic algorithm
- utility function
- objective function