Sciweavers

21 search results - page 5 / 5
» Model Checking Abilities of Agents: A Closer Look
Sort
View
ATAL
2009
Springer
14 years 10 days ago
False name manipulations in weighted voting games: splitting, merging and annexation
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
Haris Aziz, Mike Paterson