TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI. - Roham Koohestani; Ates Görpelioglu; Egor Klimov; Burcu Kulahcioglu Ozkan; Maliheh Izadi (CoRR, 2026)