ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation

ArXi:2604.23124v1 Announce Type: cross As software systems grow in complexity, they must satisfy an increasing number of competing quality attributes, making it essential to balance them in a principled manner -- for example, a safety requirement for sensor-fusion verification may conflict with a tight planning-cycle budget. Multi-agent large language model frameworks this balancing process by assigning specialized agents to different objectives. However, their conflict resolution is typically heuristic.