@misc{indiciae335ad3a223ee,
  title = {A Planning Approach to Monitoring Behavior of Computer Programs},
  author = {Alexandre Cukier and Ronen I. Brafman and Yotam Perkal and David Tolpin},
  year = {2017},
  url = {https://arxiv.org/abs/1709.03363},
  note = {Source identifier: 1709.03363}
}