Sai Manoj Jayakannan. Coordination Without Contracts: Toward Formally Grounded Agentic AI Systems. Int J Intell Syst Appl Eng 2026, 14, 1712-1724.