Parallel Hierarchical Reachability Analysis for Analog Verification.
Honghuang LinPeng LiPublished in: DAC (2014)
Keyphrases
- reachability analysis
- model checking
- temporal logic
- timed automata
- markov decision processes
- verification method
- parallel processing
- processor array
- incremental algorithms
- hierarchical structure
- parallel implementation
- distributed memory
- reinforcement learning
- steady state
- spatial information
- signal processing
- relational databases
- decision making