Budget-Feasible Sybil-Proof Mechanisms for Crowdsensing.

Xiang Liu Weiwei Wu Wanyuan Wang Yuhang Xu Xiumin Wang Helei Cui

Published in: FAW (2022)

Keyphrases

theorem prover
theorem proving
multi agent systems
feasible solution
neural network
information systems
case study
multiscale
search algorithm
building blocks
resource allocation
computational models
geometry theorem proving