547 search results - page 70 / 110 » Alternate reality gaming |
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
We analyze alternative market designs for a multisettlement system for electricity in which the resolution of the transmission network model is increased as time approaches real-t...
FSTTCS
2000
Springer
15 years 3 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
102
click to vote
JELIA
2000
Springer
15 years 3 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
101
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...