Mechanism design : from partial to probabilistic verification
Algorithmic mechanism design is concerned with designing algorithms for settings where inputs are controlled by selfish agents, and the center needs to motivate the agents to report their true values. In this paper, we study scenarios where the center may be able to verify whether the agents report...
Saved in:
Main Authors: | Caragiannis, Ioannis, Szegedy, Mario, Yu, Lan, Elkind, Edith |
---|---|
Other Authors: | School of Physical and Mathematical Sciences |
Format: | Conference or Workshop Item |
Language: | English |
Published: |
2013
|
Online Access: | https://hdl.handle.net/10356/98788 http://hdl.handle.net/10220/12630 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Probabilistic verification and analysis of biopathway dynamics
by: SUCHEENDRA KUMAR PALANIAPPAN
Published: (2013) -
Asymptotic bounds for quantitative verification of perturbed probabilistic systems
by: Su, G., et al.
Published: (2016) -
Improved speaker verification through probabilistic subspace adaptation
by: Lucey S., et al.
Published: (2018) -
Service adaptation with probabilistic partial models
by: CHEN, Manman, et al.
Published: (2016) -
Automatically refining partial specifications for program verification
by: Qin, S., et al.
Published: (2013)