2 citations · 2 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Conformal Predictive Monitoring for Multi-Modal Scenarios
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…
cs.AI2023
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
This tutorial focuses on efficient methods to predictive monitoring (PM), the problem of detecting at runtime future violations of a given requirement from the current state of a s…