Games - PDFSEARCH.IO - Document Search Engine

Games
Results: 48960

#	Item
11	WH Games and Activities Resource by: mondaymorningteacher.com Add to Reading List Source URL: www.mondaymorningteacher.com Language: English - Date: 2018-09-04 16:52:15 Hoop Hula Polynesian culture Oceanian culture
12	AI Games and Activities Resource by: Mondaymorningteacher.com Add to Reading List Source URL: www.mondaymorningteacher.com Language: English - Date: 2018-09-05 16:39:38 Hula hoop Hula Hoop Polynesian culture Oceanian culture
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 , Davi Add to Reading List Source URL: www.prismmodelchecker.org - Date: 2017-10-05 19:55:13
14	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-10-17 07:22:55 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
15	Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-04 06:58:47
16	Blockchain Mining Games∗ Aggelos Kiayias† Elias Koutsoupias ‡ Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-07-10 20:21:48 Cryptocurrencies Bitcoin Blockchains Alternative currencies Economy Computing Money Decentralization Bitcoin network Ethereum Miner Fork
17	CH Games and Activities Resource by: Mondaymorningteacher.com Add to Reading List Source URL: www.mondaymorningteacher.com Language: English - Date: 2018-09-05 18:08:08 Hoop Hula Polynesian culture Oceanian culture
18	LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 10:22:58 Mathematics Mathematical analysis Group theory Geometric group theory Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Kazhdan's property Jet bundle Orbifold
19	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 , Davi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 04:04:07 Markov processes Game theory Strategy Stochastic game Markov decision process Probability and statistics Probability Computability theory
20	Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:55:59 Algebra Mathematics Abstract algebra Timed automaton Markov chain Weight Markov decision process -ring Spectral theory of ordinary differential equations