First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 527,88 KBShare Document on Facebook |
Aquis Exchange Monthly Statistics Feb-2017 € 13,938,544,778 1,068,768,383 Value TradedDocID: 1xVY0 - View Document | |
Aquis Exchange Monthly Statistics Feb-2016 € 5,995,146,,183,444 Nestle SADocID: 1xVWK - View Document | |
Aquis Exchange Monthly Statistics Feb-2018 € 17,012,038,916 1,321,056,240 Nestle SADocID: 1xVRB - View Document | |
Aquis Exchange Monthly Statistics May-2016 € 6,758,607,,245,455 Novartis AGDocID: 1xVO3 - View Document | |
Aquis Exchange Monthly Statistics Month: Value traded (EUR): Volume (no. of shares): Jun-2017DocID: 1xVNh - View Document |