@InProceedings{glasser_et_al:DagSemProc.10501.2, author = {Glasser, Christian and Pin, Jean-Eric and Schweikardt, Nicole and Selivanov, Victor and Thomas, Wolfgang}, title = {{10501 Executive Summary – Advances and Applications of Automata on Words and Trees}}, booktitle = {Advances and Applications of Automata on Words and Trees}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2011}, volume = {10501}, editor = {Christian Glasser and Jean-Eric Pin and Nicole Schweikardt and Victor Selivanov and Wolfgang Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10501.2}, URN = {urn:nbn:de:0030-drops-31474}, doi = {10.4230/DagSemProc.10501.2}, annote = {Keywords: Infinite games with perfect information, reactive systems, specification and verification, combinatorics, hierarchies and reducibilities} }