Temporal-Logic-Based Causal Fairness Analysis. - Nasim Baharisangari; Anirudh Pydah; Shiyou Wu; Zhe Xu 005 (CDC, 2024)