20 citations · 24 across the 5 of their papers we have counts for
1 paper · 1 filter
Henrik Reif Andersen, Kaare J. Kristoffersen
In this paper we present an algorithm for performing runtime verification of a bounded temporal logic over timed runs. The algorithm consists of three elements. First, the bounded…