TY  - CONF
A1  - Glaßer, Christian
A1  - Pin, Jean-Éric
A1  - Schweikardt, Nicole
A1  - Selivanov, Victor
A1  - Thomas, Wolfgang
T1  - Advances and applications of automata on words and trees : executive summary
T2  - Dagstuhl Seminar Proceedings ; 10501
N2  - Seminar: 10501 - Advances and Applications of Automata on Words and Trees. The aim of the seminar was to discuss and systematize the recent fast progress in automata theory and to identify important directions for future research. For this, the seminar brought together more than 40 researchers from automata theory and related fields of applications. We had 19 talks of 30 minutes and 5 one-hour lectures leaving ample room for discussions. In the following we describe the topics in more detail.
KW  - Infinite games with perfect information
KW  - reactive systems
KW  - specification and verification
KW  - combinatorics
KW  - hierarchies and reducibilities
Y1  - 2011
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/24408
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-244083
UR  - http://drops.dagstuhl.de/opus/volltexte/2011/3147/
SN  - 1862-4405
VL  - 2011
PB  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
CY  - Wadern
ER  -