Sciweavers

904 search results - page 126 / 181
» Game Theory
Sort
View
86
Voted
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
14 years 7 months ago
Evolution of the perception about the opponent in hypergames
This paper studies the evolution of the perceptions of players about the game they are involved in using the framework of hypergame theory. The focus is on developing methods that ...
Bahman Gharesifard, Jorge Cortes
226
Voted
POPL
2009
ACM
16 years 1 months ago
Formal certification of code-based cryptographic proofs
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
Benjamin Grégoire, Gilles Barthe, Santiago ...
102
Voted
ATAL
2010
Springer
15 years 1 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
CONTEXT
2001
Springer
15 years 5 months ago
Local Holism
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
Carlo Penco
76
Voted
ATAL
2005
Springer
15 years 6 months ago
Modeling complex multi-issue negotiations using utility graphs
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
Valentin Robu, D. J. A. Somefun, Johannes A. La Po...