Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore