Shakey 2016—How Much Does it Take to Redo Shakey the Robot? | IEEE Journals & Magazine | IEEE Xplore