First Page | Document Content | |
---|---|---|
Date: 2014-08-04 10:11:57 | Statistical Model Checking for Markov Decision Processes David Henriques∗† , Jo˜ao G. Martins∗‡ , Paolo Zuliani∗ , Andr´e Platzer∗ , Edmund M. Clarke∗ ∗ Computer † SQIGAdd to Reading ListSource URL: symbolaris.comDownload Document from Source WebsiteFile Size: 354,23 KBShare Document on Facebook |