h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Bohn:1017567,
      author       = {Bohn, Leon and Li, Yong and Löding, Christof and Schewe,
                      Sven},
      title        = {{S}aturation {P}roblems for {F}amilies of {A}utomata},
      volume       = {334},
      address      = {Wadern},
      publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH},
      reportid     = {RWTH-2025-07405},
      series       = {LIPIcs - Leibniz international proceedings in informatics},
      pages        = {146:1-146:19},
      year         = {2025},
      comment      = {52nd International Colloquium on Automata, Languages, and
                      Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark
                      / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël
                      Ouaknine, Gabriele Puppis},
      booktitle     = {52nd International Colloquium on
                       Automata, Languages, and Programming :
                       ICALP 2025, July 8–11, 2025, Aarhus,
                       Denmark / edited by Keren
                       Censor-Hillel, Fabrizio Grandoni, Joël
                       Ouaknine, Gabriele Puppis},
      month         = {Jul},
      date          = {2025-07-08},
      organization  = {52. International Colloquium on
                       Automata, Languages, and Programming,
                       Aarhus (Denmark), 8 Jul 2025 - 11 Jul
                       2025},
      keywords     = {FDFAs (Other) / Families of Automata (Other) / Theory of
                      computation → Automata over infinite objects (Other) /
                      automata learning (Other)},
      cin          = {122910 / 120000},
      cid          = {$I:(DE-82)122910_20140620$ / $I:(DE-82)120000_20140620$},
      pnm          = {DFG project G:(GEPRIS)442233282 - Reduktions- und
                      Lerntechniken für omega-Automaten (442233282)},
      pid          = {G:(GEPRIS)442233282},
      typ          = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
      doi          = {10.4230/LIPICS.ICALP.2025.146},
      url          = {https://publications.rwth-aachen.de/record/1017567},
}