Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. - Kevin Kai-Chun Chang; Kaifei Xu; Edward Kim 005; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (RV, 2024)

Elementary and secondary school students' perceptions toward the use of e-learning under the COVID-19 pandemic: a mixed-methods study. - Kaifei Xu; Xin Bao; Lu Lu 014 (Inf. Technol. People, 2024)