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

	Towards a high level programming paradigm to deploy e-science applications with dynamic workflows on large scale distributed systems Mohamed Ben Belgacem Nabil Abdennadher DocID: 1xTOs - View Document
	Minimax Differential Dynamic Programming: An Application to Robust Biped Walking Jun Morimoto Human Information Science Labs, Department 3, ATR International DocID: 1vqMk - View Document
	Empirical Dynamic Programming William B. Haskell ISE Department, National University of Singapore Rahul Jain* DocID: 1vouJ - View Document
	MarchRevised MayReport LIDS-P-3506 Stable Optimal Control and Semicontractive Dynamic Programming DocID: 1vhRF - View Document
	EE365: Deterministic Finite State Control Deterministic optimal control Shortest path problem Dynamic programming Examples DocID: 1vg0M - View Document