Back to Results
First PageMeta Content
Experiment / Mathematical analysis / Multi-objective optimization / Markov decision process / Probability space / Event / Analysis / Probability and statistics / Holomorphic functional calculus


Multi-Objective Model Checking of Markov Decision Processes K. Etessami1 , M. Kwiatkowska2, M. Y. Vardi3 , and M. Yannakakis4 1 2
Add to Reading List

Document Date: 2007-06-27 11:49:37

Open Document

File Size: 222,11 KB

Share Result on Facebook
UPDATE