Efficient Target Singulation with Multi-fingered Gripper using Propositional Logic. - Hyojeong Kim; JeongYong Jo; Myo-Taeg Lim; ChangHwan Kim (IROS, 2024)