MRHaD: Mixed Reality-based Hand-Drawn Map Editing Interface for Mobile Robot Navigation