Alexandre Cukier, Ronen I. Brafman, Yotam Perkal, David Tolpin. A Planning Approach to Monitoring Computer Programs' Behavior. In Itai Dinur, Shlomi Dolev, Sachin Lodha, editors, Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, Proceedings. Volume 10879 of Lecture Notes in Computer Science, pages 243-254, Springer, 2018. [doi]
Abstract is missing.