1![LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games](https://www.pdfsearch.io/img/a5e66462dec12ea4cdbf1fc6da3defa4.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-10-23 08:59:09
|
---|
2![Certification procedure for games of chance machines and jackpot systems Certification procedure for games of chance machines and jackpot systems](https://www.pdfsearch.io/img/5d5a4a9d2f05de22315ed82d5bd8c62c.jpg) | Add to Reading ListSource URL: www.esbk.admin.chLanguage: English - Date: 2009-12-28 04:54:20
|
---|
3![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, 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,](https://www.pdfsearch.io/img/9cf4c03e043b852604fe480de929af96.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2016-04-24 16:51:40
|
---|
4![PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2](https://www.pdfsearch.io/img/1c2dcece67223b6b09e72bbc1ed51f6f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-01-13 05:57:32
|
---|
5![A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat](https://www.pdfsearch.io/img/33da6a6c6e6ba0615f510bb06d554f17.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-10-27 05:19:34
|
---|
6![Developing Multiplayer Pervasive Games and Networked Interactive Installations using Ad hoc Mobile Sensor Nets Orestis Akribopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas, Ioannis Chatzig Developing Multiplayer Pervasive Games and Networked Interactive Installations using Ad hoc Mobile Sensor Nets Orestis Akribopoulos, Marios Logaras, Nikos Vasilakis, Panagiotis Kokkinos, Georgios Mylonas, Ioannis Chatzig](https://www.pdfsearch.io/img/757d7116f84bd4aee1579c62265898dd.jpg) | Add to Reading ListSource URL: nikos.vasilak.isLanguage: English - Date: 2012-02-20 07:56:48
|
---|
7![Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford](https://www.pdfsearch.io/img/c941e80ed63c48b3b203472973173d6b.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-06-06 06:27:29
|
---|
8![EE Games & Activities Resource by: Mondaymorningteacher.com EE Games & Activities Resource by: Mondaymorningteacher.com](https://www.pdfsearch.io/img/fcd984c72952919fd26c7563c3de8a08.jpg) | Add to Reading ListSource URL: www.mondaymorningteacher.comLanguage: English - Date: 2018-09-04 16:53:05
|
---|
9![Alex Sherman www.asherman.io Experience Faff Games LLC, Madison, WI Alex Sherman www.asherman.io Experience Faff Games LLC, Madison, WI](https://www.pdfsearch.io/img/c3145c07db7ea71bb4657c18009263c1.jpg) | Add to Reading ListSource URL: asherman.ioLanguage: English - Date: 2018-10-02 12:47:05
|
---|
10![PH Games and Activities Resource by: mondaymorningteacher.com PH Games and Activities Resource by: mondaymorningteacher.com](https://www.pdfsearch.io/img/5150b06213a1e8866f1f9af0efdccfda.jpg) | Add to Reading ListSource URL: www.mondaymorningteacher.comLanguage: English - Date: 2018-09-04 16:52:36
|
---|