11 citations · 14 across the 5 of their papers we have counts for
1 paper · 1 filter
Dauer J. C., Finkbeiner B., Schirmer S
Runtime monitoring is generally considered a light-weight alternative to formal verification. In safety-critical systems, however, the monitor itself is a critical component. For e…