Xugui Zhou, Bulbul Ahmed, James H. Aylor, Philip Asare, Homa Alemzadeh. Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems. IEEE Trans. Dependable Sec. Comput., 21(1):12-30, January - February 2024. [doi]
Abstract is missing.