{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T00:33:42Z","timestamp":1769042022550,"version":"3.49.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1109\/asew67777.2025.00023","type":"proceedings-article","created":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T20:52:58Z","timestamp":1768855978000},"page":"74-77","source":"Crossref","is-referenced-by-count":0,"title":["AgentGuard: Runtime Verification of AI Agents"],"prefix":"10.1109","author":[{"given":"Roham","family":"Koohestani","sequence":"first","affiliation":[{"name":"JetBrains Research,The Netherlands"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.46632\/jemm\/11\/2\/2"},{"key":"ref2","article-title":"Ai agents: Evolution, architecture, and real-world applications","author":"Krishnan","year":"2025"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI66862.2025.11218681"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.20378\/irb-47275","article-title":"A Survey on Methods for the Safety Assurance of Machine Learning Based Systems","volume-title":"10th European Congress on Embedded Real Time Software and Systems (ERTS 2020)","author":"Schwalbe"},{"key":"ref5","article-title":"Agentic ai needs a systems theory","author":"Miehling","year":"2025"},{"key":"ref6","article-title":"The fusion of large language models and formal methods for trustworthy ai agents: A roadmap","author":"Zhang","year":"2024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/icse55347.2025.00157"},{"key":"ref8","article-title":"Attention is all you need","author":"Vaswani","year":"2023"},{"key":"ref9","article-title":"Saarthi: The first ai formal verification engineer","author":"Kumar","year":"2025"},{"key":"ref10","article-title":"Trism for agentic ai: A review of trust, risk, and security management in 11 m -based agentic multi-agent systems","author":"Raza","year":"2025"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194023500523"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_5"},{"key":"ref13","article-title":"A review of formal methods applied to machine learning","author":"Urban","year":"2021","journal-title":"arXiv preprint arXiv:2104.02466"},{"key":"ref14","article-title":"Fully automatic neural network reduction for formal verification","author":"Ladner","year":"2025"},{"key":"ref15","article-title":"Step-wise formal verification for llm-based mathematical problem solving","author":"Zhou","year":"2025"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.acl-long.594"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3706598.3714113"},{"key":"ref18","article-title":"A short survey on formalising software requirements using large language models","author":"Beg","year":"2025"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RE63999.2025.00049"},{"key":"ref20","article-title":"Formal-llm: Integrating formal language and natural language for controllable llm-based agents","author":"Li","year":"2024"},{"key":"ref21","article-title":"Formally specifying the high-level behavior of 11 m -based agents","author":"Crouse","year":"2023","journal-title":"arXiv preprint arXiv:2310.08535"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2025.3532853"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_15"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3934\/mbe.2022635"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-042820-010947"},{"key":"ref27","article-title":"Agentguard replication package","author":"Authors","year":"2025"}],"event":{"name":"2025 40th IEEE\/ACM International Conference on Automated Software Engineering Workshops (ASEW)","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2025,11,16]]},"end":{"date-parts":[[2025,11,20]]}},"container-title":["2025 40th IEEE\/ACM International Conference on Automated Software Engineering Workshops (ASEW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11334057\/11334194\/11334578.pdf?arnumber=11334578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T07:36:39Z","timestamp":1768894599000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11334578\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/asew67777.2025.00023","relation":{},"subject":[],"published":{"date-parts":[[2025,11,16]]}}}