642 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
Marimba: A Tool for Verifying Properties of Hidden Markov Models https://t.co/Kg1iVPNTrL
Marimba: A Tool for Verifying Properties of Hidden Markov Models http://t.co/5I9af9RLFE