Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits.
Tamir HeymanDaniel GeistOrna GrumbergAssaf SchusterPublished in: CAV (2000)
Keyphrases
- reachability analysis
- markov decision processes
- model checking
- timed automata
- state space
- pc cluster
- parallel search
- high speed
- reinforcement learning
- incremental algorithms
- shared memory
- learning algorithm
- parallel computation
- parallel computing
- fault tolerance
- parallel processing
- power consumption
- artificial intelligence
- machine learning