Harmonic Field-based Provable Exploration of 3D Indoor Environments. - Raksi Kopo; Charalampos P. Bechlioulis; Kostas J. Kyriakopoulos (CoRR, 2023)