MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract games." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

279 documents found, showing 1 through 10. Next 10 →

ATOM

Three-Valued Abstractions of Games: Uncertainty, but with Precision
by Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan — 2004
…-Valued Abstractions of Games: Uncertainty, but with Precision Luca de Alfaro ∗ Patrice Godefroid † Radha Jagadeesan…
Cited by 18 (1 self) – Add To MetaCart

A Fully Abstract Game Semantics for Finite Nondeterminism
by Russell Harmer, Guy Mccusker — 1999 — In Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LICS ’99. IEEE Computer
…A fully abstract game semantics for finite nondeterminism Russell Harmer Imperial College, London…
Cited by 22 (2 self) – Add To MetaCart

ABSTRACT Game Server Selection for Multiple Players
by Steven Gargolinski, Christopher St. Pierre, Mark Claypool
…ABSTRACT Game Server Selection for Multiple Players Steven Gargolinski, Christopher St. Pierre…
Add To MetaCart

Abstract interpretation of game properties
by Thomas A. Henzinger, Rupak Majumdar, Freddy Mang, Jean-francois Raskin — 2000 — In SAS 2000: Intertional Symposium on Static Analysis, Lecture Notes in Computer Science
…Abstract Interpretation of Game Properties ?�?? Thomas A. Henzinger 1 Rupak Majumdar 1 Freddy Mang…
Cited by 10 (4 self) – Add To MetaCart

Generalised flowcharts and games: Extended abstract
by Pasquale Malacaria, Chris Hankin — 1998 — 25th International Colloquium, ICALP'98
… Generalised Flowcharts and Games (Extended Abstract) Pasquale Malacaria and Chris Hankin Dept…
Cited by 3 (2 self) – Add To MetaCart

Lossless abstraction of imperfect information games
by Andrew Gilpin, Tuomas Sandholm — 2007 — Journal of the ACM
…Lossless Abstraction of Imperfect Information Games ANDREW GILPIN AND TUOMAS SANDHOLM Carnegie…
Cited by 7 (3 self) – Add To MetaCart

unknown title
by Mean-payoff Parity, Games Krishnendu, Chatterjee Thomas, A. Henzinger
…,tah,mju}@(email omitted); Abstract Games played on graphs may have qualitative objec-tives, such as the satisfaction of an !-regular…
Add To MetaCart

Data-abstraction refinement: A game semantic approach
by Ar Dimovski, Dan R. Ghica, Ranko Lazić — 2005 — in Proceedings of the 12th International Static Analysis Symposium (SAS’05
…Data-Abstraction Refinement: A Game Semantic Approach ∗ Aleksandar Dimovski 1 , Dan R. Ghica 2…
Cited by 6 (3 self) – Add To MetaCart

Games and full abstraction for nondeterministic languages
by Russell S. Harmer — 1999
… of Computing Games and Full Abstraction for Nondeterministic Languages Russell S. Harmer A thesis submitted…
Cited by 20 (2 self) – Add To MetaCart

Potentialaware automated abstraction of sequential games, and holistic equilibrium analysis
by Andrew Gilpin, Tuomas Sandholm, Troels Bjerre Sørensen — 2007 — In AAAI’07
…Potential-aware automated abstraction of sequential games, and holistic equilibrium analysis…
Cited by 10 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB