5995 search results - page 154 / 1199 » Algorithmic Game Theory |
117
click to vote
SCP
2008
15 years 3 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
SYNASC
2006
IEEE
15 years 9 months ago
2006
IEEE
124
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
Quite a bit is known about minimizing different kinds of regret in experts problems, and how these regret types relate to types of equilibria in the multiagent setting of repeated...
154
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...