Formalizing a Transient-Goal Driven Approach for Pedestrian-Aware Robot Navigation | IEEE Conference Publication | IEEE Xplore