@misc{indiciae86d53faad11b,
  title = {Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC},
  author = {Nikolaos Kekatos and Stylianos Basagiannis and Marinelio Chintri and Alexios Lekidis and Tom Nianios and Ioannis Seitoglou and Anastasios Temperekidis and Panagiotis Katsaros},
  year = {2026},
  doi = {10.1145/3847353.3847499},
  url = {https://arxiv.org/abs/2610.09793},
  note = {Source identifier: 2610.09793}
}