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

Research output

Research output per year 2012 2013 2015

• 5 Conference contribution
• 3 Article
• 2 Web publication/site
• 1 Other
• 3 More
  • 1 Paper
  • 1 Software
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2013

  Auction Theory Toolbox

  Lange, C. (Developer), Rowat, C. (Designer), Kerber, M. (Developer), Wenzel, M. (Developer), Caminati, M. (Developer), Mossakowski, T. (Developer) & Windsteiger, W. (Developer), 13 Jan 2013

  Research output: Non-textual form › Software