1 paper
Norine Coenen, Bernd Finkbeiner, Christopher Hahn +2
An enforcement mechanism monitors a reactive system for undesired behavior at runtime and corrects the system's output in case it violates the given specification. In this paper, w…