Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning

Christof Löding, Igor Walukiewicz. Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning. In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025. pages 431-443, IEEE, 2025. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: