León Bohn, Yong Li 0031, Christof Löding, Sven Schewe. Saturation Problems for Families of Automata. In Keren Censor Hillel, Fabrizio Grandoni 0001, Joël Ouaknine, Gabriele Puppis, editors, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025, July 8-11, 2025, Aarhus, Denmark. Volume 334 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
@inproceedings{Bohn0LS25,
title = {Saturation Problems for Families of Automata},
author = {León Bohn and Yong Li 0031 and Christof Löding and Sven Schewe},
year = {2025},
doi = {10.4230/LIPIcs.ICALP.2025.146},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2025.146},
researchr = {https://researchr.org/publication/Bohn0LS25},
cites = {0},
citedby = {0},
booktitle = {52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025, July 8-11, 2025, Aarhus, Denmark},
editor = {Keren Censor Hillel and Fabrizio Grandoni 0001 and Joël Ouaknine and Gabriele Puppis},
volume = {334},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-372-0},
}