11 citations · 12 across the 6 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…