TY  - RPRT
TI  - mstlo: Efficient Online Monitoring of Signal Temporal Logic
AU  - Andreas Kaag Thomsen
AU  - Niels Viggo Stark Madsen
AU  - Valdemar Tang Evans
AU  - Thomas David Wright
AU  - Lukas Esterle
AU  - Peter Gorm Larsen
PY  - 2026
UR  - https://arxiv.org/abs/2605.26847
ID  - 2605.26847
ER  -