JEDAI: An educational tool for AI planning using mobile manipulator robotsgithub.com/AAIR-lab3 pointsoverspeed5 years ago