Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification