activity
20242026
most citedRisk-Aware Autonomous Driving with Linear Temporal Logic Specifications

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2026Show all

2 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…