Similar Items: A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Feasability of Learning Weighted Automata on a Semiring
- An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
- Kleene Theorem for Higher-Dimensional Automata
- Alternating, private alternating, and quantum alternating realtime automata
- Weak Alternating Timed Automata