![](https://www.pdfsearch.io/img/fff9be065fe4106be011d44ca930de7f.jpg) Date: 2017-10-05 19:55:13
| | Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , DaviAdd to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source Website File Size: 651,28 KBShare Document on Facebook
|