Sciweavers

1617 search results - page 8 / 324
» Knowledge Condition Games
Sort
View
AAAI
2011
13 years 9 months ago
Reasoning About General Games Described in GDL-II
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
Stephan Schiffel, Michael Thielscher
FSTTCS
2008
Springer
14 years 10 months ago
Explicit Muller Games are PTIME
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
Florian Horn
ATAL
2010
Springer
14 years 10 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
ANOR
2005
65views more  ANOR 2005»
14 years 9 months ago
Conditional Viability for Impulse Differential Games
Jean-Pierre Aubin, Nicolas Seube
NETGAMES
2005
ACM
15 years 3 months ago
Analysis of factors affecting players' performance and perception in multiplayer games
In this paper we analyse different factors affecting players’ perception and performance in multiplayer games. We introduce a mean opinion score metric borrowed from the subje...
Matthias Dick, Oliver Wellnitz, Lars C. Wolf