12 citations · 16 across the 15 of their papers we have counts for
1 paper · 2 filters
Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh +2
We consider the problem of quantitative predictive monitoring (QPM) of stochastic systems, i.e., predicting at runtime the degree of satisfaction of a desired temporal logic proper…