Shuren Xia, Qiwei Li 0006, Taqiya Ehsan, Jorge Ortiz 0001. TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples. In Proceedings of the ACM Conference on AI and Agentic Systems, CAIS 2026, San Jose, CA, USA, May 26-29, 2026. pages 181-196, ACM, 2026. [doi]
Abstract is missing.