Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI

Roham Koohestani, Ziyou Li, Anton Podkopaev +1

This paper studies standard controller architectures for agentic AI and derives automata-theoretic models of their interaction behavior via trace semantics and abstraction. We mode…