Our paper Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes was accepted to HSCC23, co-authored with Nicola Paoletti for King’s College London. We propose a quantitative predictive monitor over the robustness of satisfaction of an STL property for stochastic processes.
