Nicola Paoletti from King’s College London, in collaboration with researchers from Università degli Studi di Trieste, has got a paper accepted at HSCC 2023. The paper is titled Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. With this work Nicola introduced quantitative predictive monitoring, the first method to enable efficient runtime prediction of the (quantitative) satisfaction of arbitrary temporal-logic properties for stochastic processes, and with probabilistic guarantees.
The paper is a stepping stone towards a more comprehensive predictive monitoring framework for runtime safety assurance in REXASI-PRO. You can check it out at the link below:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. Authors: Francesca Cairoli, Nicola Paoletti, Luca Bortolussi