Angelo Ferrando, Giorgio Delzanno. Incrementally Predictive Runtime Verification. In Stefania Monica, Federico Bergenti, editors, Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. Volume 3002 of CEUR Workshop Proceedings, pages 92-106, CEUR-WS.org, 2021. [doi]
Abstract is missing.