Fig. 13From: Efficient and privacy-preserving multi-agent systems for smart city carpooling with k-regret queries and differential privacyProof of theoretical propertiesBack to article page