HuNavSim: A ROS 2 Human Navigation Simulator for Benchmarking Human-Aware Robot Navigation | IEEE Journals & Magazine | IEEE Xplore