Information and Computation, Special Issue "Games, Automata, Logics, and Formal Verificatin (GandALF 2013)"