2 papers
cs.MA2026
Agentic Societies Need a Social Harness
Tapan Chugh, Vidushi Singh, Krish Jain +2
An agentic society is a collection of AI agents that coordinate autonomously across trust boundaries, on behalf of different principals whose objectives may only partially align. W…
cs.NI2024
Relational Network Verification
Xieyang Xu, Yifei Yuan, Zachary Kincaid +4
Relational network verification is a new approach to validating network changes. In contrast to traditional network verification, which analyzes specifications for a single network…