Introduction Model Analysis Tool Support

First Page		Document Content
Date: 2007-05-30 12:50:22 Markov models Markov processes Statistics Graph theory Markov chain Data Jane Hillston Laboratory for Foundations of Computer Science Chain Stochastic process Stochastic Computing		Introduction Model Analysis Tool Support Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 2,59 MB Share Document on Facebook

	Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018 DocID: 1xVZF - View Document
	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xVYM - View Document
	PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 DocID: 1xVVA - View Document
	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 DocID: 1xVVs - View Document
	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK DocID: 1xVRU - View Document