Xugui Zhou, Maxfield Kouzel, Chloe Smith, Homa Alemzadeh. KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems. IEEE Trans. Dependable Sec. Comput., 22(6):6389-6405, November - December 2025. [doi]
Abstract is missing.