Games of Imperfect Information via Automata and Logic