The Power of Verification for Greedy Mechanism Design

Dimitris Fotakis, Piotr Krysta, Carmine Ventre. The Power of Verification for Greedy Mechanism Design. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 307-315, ACM, 2015. [doi]

@inproceedings{FotakisKV15,
  title = {The Power of Verification for Greedy Mechanism Design},
  author = {Dimitris Fotakis and Piotr Krysta and Carmine Ventre},
  year = {2015},
  url = {http://dl.acm.org/citation.cfm?id=2772921},
  researchr = {https://researchr.org/publication/FotakisKV15},
  cites = {0},
  citedby = {0},
  pages = {307-315},
  booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015},
  editor = {Gerhard Weiss and Pinar Yolum and Rafael H. Bordini and Edith Elkind},
  publisher = {ACM},
  isbn = {978-1-4503-3413-6},
}