A Planning Approach to Monitoring Behavior of Computer Programs. - Alexandre Cukier; Ronen I. Brafman; Yotam Perkal; David Tolpin (CoRR, 2017)

A Planning Approach to Monitoring Computer Programs' Behavior. - Alexandre Cukier; Ronen I. Brafman; Yotam Perkal; David Tolpin (CSCML, 2018)