Fast payment schemes for truthful mechanisms with verification.
Alessandro FerranteGennaro ParlatoFrancesco SorrentinoCarmine VentrePublished in: Theor. Comput. Sci. (2009)
Keyphrases
- strategy proof
- mechanism design
- auction mechanisms
- quasi linear
- resource allocation
- model checking
- face verification
- formal verification
- incomplete information
- combinatorial auctions
- cryptographic protocols
- formal methods
- asynchronous circuits
- vickrey clarke groves
- verification method
- payment scheme
- data sets
- game theory
- petri net
- computational model
- cooperative
- case study
- social networks