Saturation Problems for Families of Automata

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]

Authors

León Bohn

This author has not been identified. Look up 'León Bohn' in Google

Yong Li 0031

This author has not been identified. Look up 'Yong Li 0031' in Google

Christof Löding

This author has not been identified. Look up 'Christof Löding' in Google

Sven Schewe

This author has not been identified. Look up 'Sven Schewe' in Google