12 citations · 16 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.PL2023★ 12 cited
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
Francesca Randone, Luca Bortolussi, Emilio Incerto +1
Computing the posterior distribution of a probabilistic program is a hard task for which no one-fit-for-all solution exists. We propose Gaussian Semantics, which approximates the e…