Runtime Verification for AI Agents

Latest papers

CardsList

12 papers4 papers in the last four weeks, with none the four weeks before. 0.0% of all new papers.

  1. V3^3AST-Bench: Verifiable, Valid, and Versatile Safety Evaluation for Coding Agents

    Oct 26, 2026Weitao Feng, Hengheng Xiong, Zihao Zeng +6Runtime Verification for AI AgentsAI Agent Safety

  2. Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents

    Oct 6, 2026Nikolaos Kekatos, Dimitrios Nikou, Anastasios Temperekidis +4Runtime Verification for AI AgentsLLM Agent Verification

  3. SAGE: Symbolic Action-Gating and Editing for LLM Task Planners

    Sep 28, 2026Trung Minh Bui, JongSul Moon, YoungOuk Kim +3Large Language Model-Based Robot PlanningSymbolic Planning

  4. NiyamAI - An Intent-Bound AI Agent with Cryptographically Verifiable Guardrails using Zero-Knowledge Proofs

    Aug 7, 2026Aditya Katkar, Om Karkele, Kartik Mandhane +2Tool-Augmented Language Model AgentsLLM Guardrails

  5. Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations

    May 13, 2026Qisong He, Jinwei Hu, Xinmiao Huang +3Runtime VerificationLLM Grounding

  6. A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance

    Mar 18, 2026Ciprian Paduraru, Petru-Liviu Bouruc, Alin StefanescuRuntime Verification for AI AgentsAI Agent Reliability

  7. Real-Time Trust Verification for Safe Agentic Actions using TrustBench

    Mar 10, 2026Tavishi Sharma, Vinayak Sharma, Pragya SharmaRuntime Verification for AI AgentsAI Agent Safety