Sybil-proof incentive mechanisms for crowdsensing.

Jian Lin Ming Li Dejun Yang Guoliang Xue Jian Tang

Published in: INFOCOM (2017)

Keyphrases

theorem proving
theorem prover
mechanisms underlying
mathematical proofs
multi agent
knowledge representation
linear logic
automated theorem proving