1 paper
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…