Back to Results
First PageMeta Content
Dynamic programming / Markov processes / Stochastic control / Markov decision process / Approximation algorithms / Probability / Computational complexity theory


Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra JovanoviĀ“ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department
Add to Reading List

Document Date: 2017-02-20 06:08:48


Open Document

File Size: 446,75 KB

Share Result on Facebook
UPDATE