Formally Robust and Safe Trajectory Synthesis and Tracking for Autonomous Vehicles

Yu, Yushu and Benderius, Ola and Berger, Christian and Kang, Yue

Publication

IEEE Transactions for Intelligent Transportation Systems