TY  - RPRT
TI  - Automata-less Monitoring via Trace-Checking (Extended Version)
AU  - Andrea Brunello
AU  - Luca Geatti
AU  - Angelo Montanari
AU  - Nicola Saccomanno
PY  - 2025
DO  - 10.1609/aaai.v40i23.38968
UR  - https://arxiv.org/abs/2511.11072
ID  - 2511.11072
ER  -