Back to Results
First PageMeta Content
Probability / 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 List

Document Date: 2012-05-10 09:21:45


Open Document

File Size: 623,09 KB

Share Result on Facebook
UPDATE