A Finite-State Controller Based Offline Solver for Deterministic POMDPs