A PSO-Based CEGAR Framework for Stochastic Model Checking

Counterexample-guided abstraction refinement (CEGAR) is an extremely successful methodology for combating the state-space explosion problem in model checking. State-space explosion problem is more ...