| Traffic-Rule-Compliant Motion Planning for Autonomous Vehicles Using Signal Temporal Logic-上海交通大学电子信息与电气工程学院