A New Parallel Approach for Reachability Analysis of Pushdown Models.

Lingjie Shu Jianqi Shi Xin Ye Ningkang Jiang Yichun Li

Published in: ICMSS (2017)

Keyphrases

reachability analysis
model checking
markov decision processes
parallel implementation
parallel processing
artificial intelligence
relational databases
statistical models