Reachability Analysis of Human-in-the-Loop Systems Using Gaussian Mixture Model with Side Information | IEEE Conference Publication | IEEE Xplore