Paper @HSCC23

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.

Leave a Reply

Your email address will not be published. Required fields are marked *