<--- Back to Details
First PageDocument Content
Mathematical analysis / Measure theory / Ergodic theory / Lie algebras / Stochastic processes
Date: 2015-10-18 19:27:58
Mathematical analysis
Measure theory
Ergodic theory
Lie algebras
Stochastic processes

Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

Add to Reading List

Source URL: www.prismmodelchecker.org

Download Document from Source Website

File Size: 258,58 KB

Share Document on Facebook

Similar Documents