TY  - RPRT
TI  - Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
AU  - Nikolaos Kekatos
AU  - Stylianos Basagiannis
AU  - Marinelio Chintri
AU  - Alexios Lekidis
AU  - Tom Nianios
AU  - Ioannis Seitoglou
AU  - Anastasios Temperekidis
AU  - Panagiotis Katsaros
PY  - 2026
DO  - 10.1145/3847353.3847499
UR  - https://arxiv.org/abs/2610.09793
ID  - 2610.09793
ER  -