K Modal Logic Approach to Maze Solving | IEEE Conference Publication | IEEE Xplore