First Page | Document Content | |
---|---|---|
Date: 2015-10-18 19:27:58Mathematical 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 systemsAdd to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source WebsiteFile Size: 258,58 KBShare Document on Facebook |