21 search results - page 5 / 5 » Model Checking Abilities of Agents: A Closer Look |
168
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
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...