2 citations · 5 across the 14 of their papers we have counts for
1 paper · 1 filter
Luko van der Maas, Sebastian Junges
Runtime monitors assess whether a system is in an unsafe state based on a stream of observations. We study the problem where the system is subject to probabilistic uncertainty and…