Formal methods approach to the charging facility location problem for battery electric vehicles. - Matthew J. Eagon; William F. Northrop (IV, 2020)

Model-Based Framework to Optimize Charger Station Deployment for Battery Electric Vehicles. - Matthew J. Eagon; Setayesh Fakhimi; George Lyu; Audrey Yang; Brian Lin; William F. Northrop (IV, 2022)