A Study of Model-Order Reduction Techniques for Verification. - Yi Chou; Xin Chen 002; Sriram Sankaranarayanan 001 (NSV@CAV, 2017)

Understanding knowledge management phenomena in virtual communities from a goal-directed approach. - Shih-Wei Chou; Chia-Shiang Hsu; Jiun-Yan Shiau; Ming-Kung Huang; Yi Chou (Internet Res., 2018)

Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis. - Yi Chou; Sriram Sankaranarayanan 001 (IJCAI, 2019)

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. - Hansol Yoon; Yi Chou; Xin Chen 002; Eric W. Frew; Sriram Sankaranarayanan 001 (RV, 2019)

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis. - Yi Chou; Hansol Yoon; Sriram Sankaranarayanan 001 (IROS, 2020)

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. - Sriram Sankaranarayanan 001; Yi Chou; Eric Goubault; Sylvie Putot (NeurIPS, 2020)