2 citations · 3 across the 3 of their papers we have counts for
4 papers
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…
GRID: Graph-based Reasoning for Intervention and Discovery in Built Environments
Taqiya Ehsan, Shuren Xia, Jorge Ortiz
Manual HVAC fault diagnosis in commercial buildings takes 8-12 hours per incident and achieves only 60 percent diagnostic accuracy, reflecting analytics that stop at correlation in…
The Streetscape Application Services Stack (SASS): Towards a Distributed Sensing Architecture for Urban Applications
Navid Salami Pargoo, Mahshid Ghasemi, Shuren Xia +8
As urban populations grow, cities are becoming more complex, driving the deployment of interconnected sensing systems to realize the vision of smart cities. These systems aim to im…
VCHAR:Variance-Driven Complex Human Activity Recognition framework with Generative Representation
Yuan Sun, Navid Salami Pargoo, Taqiya Ehsan +2
Complex human activity recognition (CHAR) remains a pivotal challenge within ubiquitous computing, especially in the context of smart environments. Existing studies typically requi…