643 followers
#arXiv #cs_LO "Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. (arXiv:1504.028… https://t.co/wDIBLyoLt1
#arXiv #cs_LO "Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage. (arXiv:1504.028… https://t.co/wDIBLyoLt1