Sign in

Sybil-proof incentive mechanisms for crowdsensing.

Jian LinMing LiDejun YangGuoliang XueJian Tang
Published in: INFOCOM (2017)
Keyphrases
  • theorem proving
  • theorem prover
  • mechanisms underlying
  • mathematical proofs
  • multi agent
  • knowledge representation
  • linear logic
  • automated theorem proving