![Statistical models / Probability and statistics / Statistical theory / Statistics / Timed automaton / Parametric model / Parameter / Markov decision process / Markov chain Statistical models / Probability and statistics / Statistical theory / Statistics / Timed automaton / Parametric model / Parameter / Markov decision process / Markov chain](https://www.pdfsearch.io/img/dc49513a066d549ada553cbddd9755c0.jpg) 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
|