Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements

Mischa Möstl, Johannes Schlatow, Rolf Ernst. Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2824-2834, 2018. [doi]

Abstract

Abstract is missing.