Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage.

Arnd Hartmanns, Holger Hermanns

Browse the full ATVA paper archive.