Statistical Verification of Traffic Systems with Expected Differential Privacy. - Mark Yen; Geir E. Dullerud; Yu Wang 044 (ACC, 2023)