Improving Graph-based methods for computing qualitative properties of markov decision processes
Probabilistic model checking is a formal verification method, which is used to guarantee the correctness of the computer systems with stochastic behaviors. Reachability probabilities are the main class of properties that are proposed in probabilistic model checking. Some graph-based pre-computation...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | EJournal Article |
| Published: |
Institute of Advanced Engineering and Science,
2020-03-01.
|
| Subjects: | |
| Online Access: | Get fulltext Get fulltext |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|