@misc{indiciae5e3b9e759c64,
  title = {Automata-less Monitoring via Trace-Checking (Extended Version)},
  author = {Andrea Brunello and Luca Geatti and Angelo Montanari and Nicola Saccomanno},
  year = {2025},
  doi = {10.1609/aaai.v40i23.38968},
  url = {https://arxiv.org/abs/2511.11072},
  note = {Source identifier: 2511.11072}
}