Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1

First Page		Document Content
Date: 2012-08-15 08:49:17 Theoretical computer science Probability Formal methods Logic in computer science Model checkers Dynamic programming Stochastic control Model checking Markov decision process PRISM model checker Verification Runtime verification		Incremental Runtime Verification of Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , Hongyang Qu1 , and Mateusz Ujma1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 226,93 KB Share 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 1 DocID: 1uKbd - View Document
	EE365: Markov Decision Problems Markov decision process Markov decision problem Examples DocID: 1tQAG - View Document
	Mutual State-Based Capabilities for Role Assignment in Heterogeneous Teams Somchaya Liemhetcharat Manuela Veloso DocID: 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 06511 DocID: 1rp22 - View Document
	I N F S Y S R E S E A R C H R DocID: 1riTl - View Document