Ferrando, AngeloCardoso, Rafael C.2024-11-252024-11-252025-02Ferrando, A & Cardoso, R C 2025, 'Towards partial monitoring : Never too early to give in', Science of Computer Programming, vol. 240, 103220. https://doi.org/10.1016/j.scico.2024.1032200167-6423ORCID: /0000-0001-6666-6954/work/172467511https://hdl.handle.net/2164/24667CRediT authorship contribution statement Angelo Ferrando: Writing – review & editing, Writing – original draft, Validation, Software, Resources, Methodology, Investigation, Formal analysis, Conceptualization. Rafael C. Cardoso: Writing – review & editing, Writing – original draft, Validation, Methodology, Investigation, Formal analysis, Conceptualization.191056465engLinear temporal logicMonitorabilityPartial monitoringRuntime verificationQA75 Electronic computers. Computer scienceSoftwareInformation SystemsModelling and SimulationComputational Theory and MathematicsQA75Towards partial monitoring : Never too early to give inJournal article10.1016/j.scico.2024.103220https://www.scopus.com/pages/publications/85206475890