TY  - RPRT
TI  - A Planning Approach to Monitoring Behavior of Computer Programs
AU  - Alexandre Cukier
AU  - Ronen I. Brafman
AU  - Yotam Perkal
AU  - David Tolpin
PY  - 2017
UR  - https://arxiv.org/abs/1709.03363
ID  - 1709.03363
ER  -