A game-based abstraction-refinement framework for Markov decision processes
In the field of model checking, abstraction refinement has proved to be an extremely successful methodology for combating the state-space explosion problem. However, little practical progress has been made in the setting of probabilistic verification. In this paper we present a novel abstraction-ref...
| Main Authors: | , , , |
|---|---|
| 格式: | Journal article |
| 语言: | English |
| 出版: |
2010
|
Search Result 1