Simone Silvetti, Michele Loreti, Laura Nenzi. Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter. In Bettina Könighofer, Hazem Torfah, editors, Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings. Volume 16087 of Lecture Notes in Computer Science, pages 120-139, Springer, 2025. [doi]
Abstract is missing.