Multi-Property Temporal Logic Monitoring. - Arinç Demir; Dogan Ulus (CoRR, 2026)