paperJune 2026Unreviewed

Efficient and Sound Probabilistic Verification for AI Agents

Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu, Somesh Jha, Krishnamurthy Dj Dvijotham

Abstract

Securing AI agents that operate in complex digital environments has become a critical need, and runtime monitoring approaches that formulate and enforce policies expressed in a formal language like Datalog offer a promising solution. However, existing approaches are restricted to deterministic policies. In many practical applications of AI agents, there is a need to enforce security policies in the face of ambiguity, leading to probabilistic predicates or state transitions (for example, a declas

Cite

@misc{solkobreslin2026efficient,
  title = {{Efficient and Sound Probabilistic Verification for AI Agents}},
  author = {Alaia Solko-Breslin and Pramod Kaushik Mudrakarta and Mihai Christodorescu and Somesh Jha and Krishnamurthy Dj Dvijotham},
  year = {2026},
  month = jun,
  eprint = {2606.20510},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.20510}
}