Date: 2010-04-16 06:37:28Dynamic programming Markov decision process Stochastic control Symbol PP Probability and statistics Probability Theoretical computer science Models of computation | | Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed autoAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 474,56 KBShare Document on Facebook
|