Back to Results
First PageMeta Content
Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process


Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,
Add to Reading List

Document Date: 2016-04-24 16:51:40


Open Document

File Size: 603,71 KB

Share Result on Facebook
UPDATE