Comparison of two mathematical formulations for the offline routing of personal rapid transit system vehicles | IEEE Conference Publication | IEEE Xplore