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

	Visualizing statistical models: Removing the blindfold Hadley Wickham, Dianne Cook and Heike Hofmann Department of Statistics MSMain St Houston TXe-mail: DocID: 1xVjw - View Document
	Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki DocID: 1xUlB - View Document
	Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav DocID: 1xToM - View Document
	An Introduction to the Statistical Analysis of Agent-Based Models Giorgio Fagiolo https://mail.sssup.it/~fagiolo DocID: 1vhKi - View Document
	FallSTA4513: Statistical Models of Networks Lecture 3 — 24 September, 2014 Prof. Daniel M. Roy DocID: 1vfwF - View Document