Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract

First Page		Document Content
Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain		Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 527,88 KB Share Document on Facebook

	Dense, Accurate Optical Flow Estimation with Piecewise Parametric Model (Supplementary Material) Jiaolong Yang1,2 and Hongdong Li2,3 1 2 DocID: 1u0KN - View Document
	16 CPAdd Magnetization Transfer Ratio to Image Model Component Semantics for Parametric Maps 1 DocID: 1tGlP - View Document
	26 CPAdd MR Diffusion Model Quantities and Parameters for Parametric Maps and ROI Measurements 1 DocID: 1tDbs - View Document
	EDA221 – Introduction to Computer Graphics, 2013 Assignment 2 – Tessellation and Interpolation In this assignment you will tessellate your own model from a parametric equation. This task involves setting up appropri DocID: 1tnGU - View Document
	EDA221 – Introduction to Computer Graphics, 2016 Assignment 2 – Tessellation and Interpolation In this assignment you will tessellate your own model from a parametric equation. This task involves setting up appropri DocID: 1t8Xc - View Document