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

arXiv:2604.23124v1 Announce Type: cross Abstract: 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...