Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. - Naeem, Muhammad; Gu, Rong; Seceleanu, Cristina; Larsen, Kim Guldstrand; Nielsen, Brian; Albano, Michele (2024)