Exploiting Weak Supermodularity for Coalition-Proof Mechanisms.

Orcun Karaca Maryam Kamgarpour

Published in: CDC (2018)

Keyphrases

software agents
theorem prover
coalition formation
building blocks
theorem proving
database
real time
optimal solution
cooperative
multi agent systems
computational models
mechanisms underlying