9 citations · 23 across the 9 of their papers we have counts for
1 paper · 1 filter
Xin Qin, Jyotirmoy V. Deshmukh
Producing probabilistic guarantee for several steps of a predicted signal follow a temporal logic defined behavior has its rising importance in monitoring. In this paper, we derive…