ICSE 2026 (series) / FormaliSE 2026 (series) / Research Track / From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems
From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems
This program is tentative and subject to change.
Mon 13 Apr 2026 12:00 - 12:15 at Oceania VIII - Session 4: Automated Reasoning, and Program Analysis
This paper introduces a formal framework for modeling agentic agents in large-scale multi-agent systems (MAS), emphasizing their cognitive capabilities and autonomy dimensions—participation, goal, and execution autonomy. We define agentic agents as entities capable of higher-order reasoning, strategic planning, and social interaction, and demonstrate their reducibility to autonomous, goal-driven, and reactive agents through structured mathematical mappings. By formalizing autonomy, we enable reuse of existing MAS algorithms and coordination protocols, avoiding redundant system design. The proposed abstractions support scalable, ethically aligned, and cognitively aware agent architectures suitable for dynamic, decentralized environments.
This program is tentative and subject to change.
Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change
11:00 - 12:30 | Session 4: Automated Reasoning, and Program AnalysisResearch Track / FormaliSE Program at Oceania VIII | ||
11:00 30mTalk | Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm Research Track | ||
11:30 30mTalk | Domain-Guided Quantifier Instantiation with Yardbird Research Track Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA | ||
12:00 15mTalk | From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems Research Track | ||
12:15 15mTalk | Test Data Selection by Failure Coverage Research Track | ||