Probabilistic Coordination of Optimal Power Management and Voyage Scheduling for All-Electric Ships | IEEE Journals & Magazine | IEEE Xplore