Sabino Francesco Roselli, Martin Fabian, Knut Åkesson. An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021. pages 1364-1369, IEEE, 2021. [doi]
Abstract is missing.