mstlo: Efficient Online Monitoring of Signal Temporal Logic. - Andreas Kaag Thomsen; Niels Viggo Stark Madsen; Valdemar Tang Evans; Thomas Wright; Lukas Esterle; Peter Gorm Larsen (CoRR, 2026)