Date: 2012-05-10 09:21:45Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software | | Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source Website File Size: 623,09 KBShare Document on Facebook
|