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.