Social Welfare Maximization in Approval-Based Committee Voting under Uncertainty | Synapse