50 citations · 249 across the 50 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.MA2026
Opinion-Guided Layered Strategies for Decentralized Coordination
Shuhao Qi, Zhiyong Sun, Siep Weiland +1
Autonomous agents increasingly interact with other independent agents, and such interactions typically admit multiple joint behaviors. When two agents prefer different ones, their…
cs.RO2026
Autonomous Driving with Priority-Ordered STL Specifications Under Multimodal Uncertainty
Taha Bouzid, Shuhao Qi, Mircea Lazar +1
Autonomous vehicles must plan trajectories that satisfy multiple requirements, such as safety, traffic-rule compliance, and passenger comfort. However, in safety-critical scenarios…
eess.SY2026
Compressing Correct-by-Design Synthesis for Stochastic Homogeneous Multi-Agent Systems with Counting LTL
Xinyuan Qiu, Ruohan Wang, Siyuan Liu +1
Correct-by-design synthesis provides a principled framework for establishing formal safety guarantees for stochastic multi-agent systems (MAS). However, conventional approaches bas…