3 papers
cs.MA2026
MAS-Lab: A Specification-Driven Validation Framework for Reliable Multi-Agent Systems
Jordan Augé, Giovanna Carofiglio, Giulio Grassi +1
The rapid emergence of LLM-based agentic frameworks has significantly reduced the cost of assembling multi-agent systems (MAS), enabling fast prototyping and exploration of agentic…
cs.MA2026
Aether: Network Validation Using Agentic AI and Digital Twin
Jordan Auge, Sam Betts, Giovanna Carofiglio +3
Network change validation remains a critical yet predominantly manual, time-consuming, and error-prone process in modern network operations. While formal network verification has m…
cs.NI2024
The Challenges of Trace-Driven Wi-Fi Emulation
Mohammad Imran Syed, Renata Teixeira, Sara Ayoubi +1
Wi-Fi link is unpredictable and it has never been easy to measure it perfectly; there is always bound to be some bias. As wireless becomes the medium of choice, it is useful to cap…