Are Agents Just Automata? On the Formal Equivalence Between Agentic AI and the Chomsky Hierarchy
Theoretical work exploring formal models of agentic AI via classical automata and language hierarchies.
AgentGuard: Runtime Verification of AI Agents
Runtime verification framework to ensure AI agents operate within defined constraints and enable auditing.