K Modal Logic Approach to Maze Solving.

Dinko Osmankovic, Aleksandar Acimovic

Browse the full SACI paper archive.