First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 623,09 KBShare Document on Facebook |
Assisting Persons with Dementia during Handwashing Using a Partially Observable Markov Decision Process Jesse Hoey1 , Axel von Bertoldi2 , Pascal Poupart3 , and Alex Mihailidis2 1DocID: 1uKbd - View Document | |
EE365: Markov Decision Problems Markov decision process Markov decision problem ExamplesDocID: 1tQAG - View Document | |
Mutual State-Based Capabilities for Role Assignment in Heterogeneous Teams Somchaya Liemhetcharat Manuela VelosoDocID: 1rqnK - View Document | |
Online Development of Assistive Robot Behaviors for Collaborative Manipulation and Human-Robot Teamwork Bradley Hayes and Brian Scassellati Yale University Computer Science Department New Haven, CT 06511DocID: 1rp22 - View Document | |
I N F S Y S R E S E A R C H RDocID: 1riTl - View Document |