Incrementally predictive runtime verification. - Ferrando, Angelo; Delzanno, Giorgio (Journal of Logic & Computation, 2023)