http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Saturation Problems for Families of Automata

Bohn, Leon (Corresponding author)^RWTH* ; Li, Yong (Corresponding author) ; Löding, Christof (Corresponding author)^RWTH* ; Schewe, Sven (Corresponding author)

In
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, Seiten/Artikel-Nr: 146:1-146:19

2025

Konferenz/Event:52. International Colloquium on Automata, Languages, and Programming , Aarhus , Denmark , ICALP 2025 , 2025-07-08 - 2025-07-11

ImpressumWadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Umfang146:1-146:19

ISBN978-3-95977-372-0

ReiheLIPIcs - Leibniz international proceedings in informatics ; 334

Online
DOI: 10.4230/LIPICS.ICALP.2025.146
10.4230/LIPICS.ICALP.2025.146
DOI: 10.18154/RWTH-2025-07405
URL: http://publications.rwth-aachen.de/record/1017567/files/1017567.pdf

Einrichtungen

1. Lehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7) (122910)
2. Fachgruppe Informatik (120000)

Projekte

1. DFG project G:(GEPRIS)442233282 - Reduktions- und Lerntechniken für omega-Automaten (442233282) (442233282)

Inhaltliche Beschreibung (Schlagwörter)
FDFAs (Genormte SW) ; Families of Automata (Genormte SW) ; Theory of computation → Automata over infinite objects (Genormte SW) ; automata learning (Genormte SW)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105009887503

Interne Identnummern
RWTH-2025-07405
Datensatz-ID: 1017567

Beteiligte Länder
Germany, Peoples R China, UK