Policy Change for Treelike Monitors

François Hublet, Dhruv Nevatia, Joshua Schneider

We study the policy change problem that arises in the runtime verification of long-running systems. The online monitors typically used in this context are generally treelike, in th…