Date: 2017-05-12 04:35:43Statistical 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 AbstractAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 527,88 KBShare Document on Facebook
|