2 papers
cs.FL2026
Layered automata: A canonical model for automata over infinite words
Antonio Casares, Christof Löding, Igor Walukiewicz
We introduce layered automata, a subclass of alternating parity automata that generalises deterministic automata. Assuming a consistency property, these automata are history determ…
cs.FL2025
Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning
Christof Löding, Igor Walukiewicz
Abu Radi and Kupferman (2019) demonstrated the efficient minimization of history-deterministic (transition-based) co-Büchi automata, building on the results of Kuperberg and Skrzyp…