Budget-feasible Sybil-proof mechanisms for crowdsensing.

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

Published in: Theor. Comput. Sci. (2023)

Keyphrases

theorem proving
linear logic
database
neural network
machine learning
genetic algorithm
bayesian networks
objective function
digital libraries
building blocks
theorem prover