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…