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 ...
research
∙
05/11/2022
Stochastic Variational Smoothed Model Checking
Model-checking for parametric stochastic models can be expressed as chec...
research
∙
08/16/2021
Neural Predictive Monitoring under Partial Observability
We consider the problem of predictive monitoring (PM), i.e., predicting ...
research
∙
06/24/2021