【論文要約:自動運転関連】Autonomous Vehicles Path Planning under Temporal Logic Specifications