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