MRHaD: Mixed Reality-based Hand-Drawn Map Editing Interface for Mobile Robot Navigation. - Takumi Taki; Masato Kobayashi; Eduardo Iglesius; Naoya Chiba; Shizuka Shirai; Yuki Uranishi (CoRR, 2025)