Login / Signup

A Formal Control Framework of Autonomous Vehicle for Signal Temporal Logic Tasks and Obstacle Avoidance.

Zhiyuan HuangWeiyao LanXiao Yu
Published in: IEEE Trans. Intell. Veh. (2024)
Keyphrases