45 search results - page 3 / 9 » Model checking knowledge, strategies, and games in multi-age... |
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
TAC-02 was the third in a series of Trading Agent Competition events fostering research in automating trading strategies by showcasing alternate approaches in an open-invitation m...
IJWIS
2007
13 years 10 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
ISDA
2010
IEEE
13 years 8 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...