h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Bohn, Leon
AU  - Li, Yong
AU  - Löding, Christof
AU  - Schewe, Sven
TI  - Saturation Problems for Families of Automata
VL  - 334
CY  - Wadern
PB  - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
M1  - RWTH-2025-07405
T2  - LIPIcs - Leibniz international proceedings in informatics
SP  - 146:1-146:19
PY  - 2025
T2  - 52. International Colloquium on Automata, Languages, and Programming
CY  - 8 Jul 2025 - 11 Jul 2025, Aarhus (Denmark)
Y2  - 8 Jul 2025 - 11 Jul 2025
M2  - Aarhus, Denmark
KW  - FDFAs (Other)
KW  - Families of Automata (Other)
KW  - Theory of computation → Automata over infinite objects (Other)
KW  - automata learning (Other)
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.4230/LIPICS.ICALP.2025.146
UR  - https://publications.rwth-aachen.de/record/1017567
ER  -