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

	Aquis Exchange Monthly Statistics Feb-2017 € 13,938,544,778 1,068,768,383 Value Traded DocID: 1xVY0 - View Document
	Aquis Exchange Monthly Statistics Feb-2016 € 5,995,146,,183,444 Nestle SA DocID: 1xVWK - View Document
	Aquis Exchange Monthly Statistics Feb-2018 € 17,012,038,916 1,321,056,240 Nestle SA DocID: 1xVRB - View Document
	Aquis Exchange Monthly Statistics May-2016 € 6,758,607,,245,455 Novartis AG DocID: 1xVO3 - View Document
	Aquis Exchange Monthly Statistics Month: Value traded (EUR): Volume (no. of shares): Jun-2017 DocID: 1xVNh - View Document