7 citations · 9 across the 4 of their papers we have counts for
4 papers
Principal-Agent Boolean Games
David Hyland, Julian Gutierrez, Michael Wooldridge
We introduce and study a computational version of the principal-agent problem -- a classic problem in Economics that arises when a principal desires to contract an agent to carry o…
k-Prize Weighted Voting Games
Wei-Chen Lee, David Hyland, Alessandro Abate +5
We introduce a natural variant of weighted voting games, which we refer to as k-Prize Weighted Voting Games. Such games consist of n players with weights, and k prizes, of possibly…
Cooperative Concurrent Games
Julian Gutierrez, Szymon Kowara, Sarit Kraus +2
In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under the assumption that agents ("players") in the system choos…
On the Complexity of Rational Verification
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choos…