1 citations · 1 across the 7 of their papers we have counts for
7 papers
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…
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…
Situation-Aware Interactive MPC Switching for Autonomous Driving
Shuhao Qi, Qiling Aori, Luyao Zhang +2
Autonomous driving in interactive traffic scenarios remains challenging because of the mutual influence among vehicles and the inherent uncertainty of surrounding agents. Several m…
Integrating Opinion Dynamics into Safety Control for Decentralized Airplane Encounter Resolution
Shuhao Qi, Zhiqi Tang, Zhiyong Sun +1
As the airspace becomes increasingly congested, decentralized conflict resolution methods for airplane encounters have become essential. While decentralized safety controllers can…
Avoiding Deadlocks Is Not Enough: Analysis and Resolution of Blocked Airplanes
Shuhao Qi, Zengjie Zhang, Zhiyong Sun +1
This paper is devoted to the analysis and resolution of a pathological phenomenon in airplane encounters called blocking mode. As autonomy in airplane systems increases, a patholog…
Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
Shuhao Qi, Zengjie Zhang, Zhiyong Sun +1
Human drivers naturally balance the risks of different concerns while driving, including traffic rule violations, minor accidents, and fatalities. However, achieving the same behav…
VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
Teun van de Laar, Zengjie Zhang, Shuhao Qi +2
It has been an ambition of many to control a robot for a complex task using natural language (NL). The rise of large language models (LLMs) makes it closer to coming true. However,…