Algorithm 5From: Efficient and privacy-preserving multi-agent systems for smart city carpooling with k-regret queries and differential privacyInsertion Verification with Bounded Direction ErrorBack to article page