Games, automata, logics and formal verification (GandALF 2016)