First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 474,56 KBShare Document on Facebook |
Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted PublishedDocID: 1xTZi - View Document | |
Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted PublishedDocID: 1xTH1 - View Document | |
PP_icon-1_Einladung_A4_L3.inddDocID: 1xTEi - View Document | |
ADVANCE INFORMATION 100 POEMS ARE NOT ENOUGHNon-Fiction > Poetry Walking BookFairs-PAN ǀ Rs 299 ǀ 104 ppDocID: 1xTyC - View Document | |
Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted PublishedDocID: 1xTht - View Document |