Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego.

Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano

Browse the full TASE paper archive.