13 citations · 16 across the 9 of their papers we have counts for
1 paper · 1 filter
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…