Sai Manoj Jayakannan 2026. Coordination Without Contracts: Toward Formally Grounded Agentic AI Systems. International Journal of Intelligent Systems and Applications in Engineering. 14, 1s (Jun. 2026), 1712–1724.