"Universality of Büchi Automata: Analysis With Graph Neural Networks."

Christophe Stammet, Ulrich Ultes-Nitsche, Andreas Fischer (2023)

Details and statistics

DOI: 10.1109/ACCESS.2023.3339538

access: open

type: Journal Article

metadata version: 2024-01-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics