Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali. A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. In Stefan Hallerstede, Eduard Kamburjan, editors, Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. Volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.