MuRoSim – A Fast and Efficient Multi-Robot Simulation for Learning-based Navigation | IEEE Conference Publication | IEEE Xplore