Back to Results
First PageMeta Content
Linear temporal logic / Temporal logic / Symbol / Stochastic game / Mathematical optimization / Markov decision process / Markov chain / Probability


Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford
Add to Reading List

Document Date: 2016-06-06 06:27:29


Open Document

File Size: 619,15 KB

Share Result on Facebook
UPDATE