Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage
| Title | Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage |
| Publication Type | Conference Paper |
| Year of Publication | In Press |
| Authors | Hartmanns, A, Hermanns, H |
| Conference Name | ATVA 2015 |
| URL | http://arxiv.org/abs/1504.02861 |
Work Package:
WP1
