Reachability Analysis of Human-in-the-Loop Systems Using Gaussian Mixture Model with Side Information. - Cheng-Han Yang; Joonwon Choi; Suriyan Anandavel; Inseok Hwang 002 (AIM, 2024)