<--- Back to Details
First PageDocument Content
Transmedia storytelling / I Love Bees / Perplex City / The Beast / Extensible Embeddable Language / This Is Not a Game / Massively multiplayer online game / Reusability / World Without Oil / Alternate reality games / Games / Software
Date: 2012-09-28 14:36:06
Transmedia storytelling
I Love Bees
Perplex City
The Beast
Extensible Embeddable Language
This Is Not a Game
Massively multiplayer online game
Reusability
World Without Oil
Alternate reality games
Games
Software

Microsoft Word - DesigningSustainableARGs_TechRep.docx

Add to Reading List

Source URL: hcil2.cs.umd.edu

Download Document from Source Website

File Size: 1,13 MB

Share Document on Facebook

Similar Documents

Mathematics / Algebra / Abstract algebra / Distribution / Number theory / Valuation / Universal property / BorelKolmogorov paradox

LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

DocID: 1xW2u - View Document

Quality assurance / Standards / Professional certification / Accreditation / Certification / Slot machine / Human behavior / Evaluation / Applied ethics / ECOGRA

Certification procedure for games of chance machines and jackpot systems

DocID: 1xW0k - View Document

Mathematical analysis / Mathematics / Measure theory / Boolean algebra / Experiment / Sigma-algebra / Determinacy / Stochastic game / Linear temporal logic / Markov chain / Markov decision process

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,

DocID: 1xVYM - View Document

Theoretical computer science / Mathematics / Model checkers / Temporal logic / PRISM model checker / Computation tree logic / Model checking / Application software / Stochastic game / Strategy / Stochastic process / Game theory

PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2

DocID: 1xVVA - View Document

Formal languages / Nested word / Words

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

DocID: 1xVTs - View Document