أرسل هذا في رسالة قصيرة: Automata logics and infinite games:a guide to current research