Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour

  • Kerber, Manfred (Principal Investigator)
  • Rowat, Colin (Co-Investigator)

Project Details

Short titleFormal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
StatusFinished
Effective start/end date1/05/1230/04/15

Funding

  • Engineering & Physical Science Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Pillage games with multiple stable sets

    Mackenzie, S., Kerber, M. & Rowat, C., Nov 2015, In: International Journal of Game Theory. 44, 4, p. 993-1013

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    320 Downloads (Pure)
  • Sound auction specification and implementation

    Caminati, M. B., Kerber, M., Lange-Bever, C. & Rowat, C., 15 Jun 2015, EC '15 Proceedings of the Sixteenth ACM Conference on Economics and Computation . Roughgarden, T., Feldman, M. & Schwarz, M. (eds.). New York, NY, USA: Association for Computing Machinery , p. 547-564 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    8 Citations (Scopus)
    255 Downloads (Pure)
  • Sufficient conditions for unique stable sets in three agent pillage games

    Rowat, C. & Kerber, M., May 2014, In: Mathematical Social Sciences. 69, p. 69-80

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    3 Citations (Scopus)
    343 Downloads (Pure)