Francesca Cairoli | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Luca Bortolussi
33 publications
Nicola Paoletti
16 publications
Ginevra Carbone
8 publications
Paolo Pulcini
1 publication

research

∙ 11/04/2022

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

We consider the problem of predictive monitoring (PM), i.e., predicting ...

0 Francesca Cairoli, et al. ∙

research

∙ 05/11/2022

Stochastic Variational Smoothed Model Checking

Model-checking for parametric stochastic models can be expressed as chec...

0 Luca Bortolussi, et al. ∙

research

∙ 08/16/2021

Neural Predictive Monitoring under Partial Observability

We consider the problem of predictive monitoring (PM), i.e., predicting ...

3 Francesca Cairoli, et al. ∙

research

∙ 06/24/2021

Abstraction of Markov Population Dynamics via Generative Adversarial Nets

Markov Population Models are a widespread formalism used to model the dy...

0 Francesca Cairoli, et al. ∙