1 citations · 1 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples
Shuren Xia, Qiwei Li, Taqiya Ehsan +1
We present TraceFix, a verification-first pipeline for Large Language Model (LLM) multi-agent coordination. An agent synthesizes a protocol topology as a structured intermediate re…
cs.OS2026
CityOS: Privacy Architecture for Urban Sensing
Giorgio Cavicchioli, Mark Chen, Navid Salami Pargoo +5
Cities are rapidly deploying sensing infrastructure -- cameras, environmental sensors, and connected kiosks -- that continuously observe public spaces, yet they lack a system archi…