1 citations · 1 across the 7 of their papers we have counts for
3 papers · 1 filter
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,…