Back to Results
First PageMeta Content
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

Document Date: 2017-05-12 04:35:43


Open Document

File Size: 527,88 KB

Share Result on Facebook
UPDATE