1 citations · 1 across the 1 of their papers we have counts for
1 paper
Zhenya Zhang, Jie An, Paolo Arcaini +1
Online monitoring is an effective validation approach for hybrid systems, that, at runtime, checks whether the (partial) signals of a system satisfy a specification in, e.g., Signa…