41![Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK. Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK.](https://www.pdfsearch.io/img/2e0a7eb305b96884c9bcf77835476d34.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-04-15 06:20:35
|
---|
42![On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud](https://www.pdfsearch.io/img/7e5be51973e289726ff2cf6c42a95e14.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-06-19 11:02:11
|
---|
43![PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2 PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2](https://www.pdfsearch.io/img/3975bd0c1e84e994d1ca2927d004e3be.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2016-01-04 05:28:26
|
---|
44![Measuring Decentralization of Chinese Keyword Censorship via Mobile Games Jeffrey Knockel1,2 , Lotus Ruan1 , and Masashi Crete-Nishihata1 1 Citizen Lab, Munk School of Global Affairs, University of Toronto Measuring Decentralization of Chinese Keyword Censorship via Mobile Games Jeffrey Knockel1,2 , Lotus Ruan1 , and Masashi Crete-Nishihata1 1 Citizen Lab, Munk School of Global Affairs, University of Toronto](https://www.pdfsearch.io/img/972b5fd47d29091bd79b465b79e195df.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English |
---|
45![Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta](https://www.pdfsearch.io/img/4fc9f5a5762dfcbc640e364d3c77bec1.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2016-06-17 06:57:25
|
---|
46![Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK](https://www.pdfsearch.io/img/59defa8fbc23388317b1ce2192c8cafe.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-06-25 05:08:25
|
---|
47![Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl](https://www.pdfsearch.io/img/d4d043eb4b17aad4450bddd81c18c4f5.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
48![TH Games and Activities Resources by: mondaymorningteacher.com TH Games and Activities Resources by: mondaymorningteacher.com](https://www.pdfsearch.io/img/505d718fbc50d3dfaea53c553833e613.jpg) | Add to Reading ListSource URL: www.mondaymorningteacher.comLanguage: English - Date: 2018-09-04 16:51:14
|
---|
49![Fundamental Event Document Fantasy Flight Games Organized Play takes many forms and supports multiple games. This document exists to provide a foundation that other, game-specific event regulations can build upon. When a Fundamental Event Document Fantasy Flight Games Organized Play takes many forms and supports multiple games. This document exists to provide a foundation that other, game-specific event regulations can build upon. When a](https://www.pdfsearch.io/img/e76f6999b2b3c0b0830bd5664d551524.jpg) | Add to Reading ListSource URL: images-cdn.fantasyflightgames.comLanguage: English - Date: 2016-03-15 11:21:00
|
---|
50![Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/c20b1f636c1de8d110df7fc41180b57a.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2013-06-03 18:23:17
|
---|