Back to Results
First PageMeta Content
Dynamic 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 auto
Add to Reading List

Document Date: 2010-04-16 06:37:28


Open Document

File Size: 474,56 KB

Share Result on Facebook
UPDATE