Skip to content

Author

Ahmed Twabi

We have 1 of 17 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Jul 2026

Formal Trajectory Analysis for Testing Agentic AI in Stateful Environments

We propose a formal model for testing AI agents in stateful environments, using Finite State Machine (FSM) semantics to enable deterministic, trace-level evaluation via an explicit test oracle. Our approach introduces a classified action alphabet and six computable failure-mode detectors for automatic analysis over age...

Ahmed Twabi, Yepeng Ding, Tohru Kondo · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.