Energy-Efficient Motion Planning for Autonomous Vehicles Using UPPAAL Stratego (Jul 2024) Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen , Brian Nielsen , Michele Albano The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE2024)