1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2022
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Gustav Grabolle
This paper connects the classes of weighted alternating finite automata (WAFA), weighted finite tree automata (WFTA), and polynomial automata (PA). First, we investigate the use of…
cs.FL2021★ 1 cited
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Gustav Grabolle
In this paper, we give a Nivat-like characterization for weighted alternating automata over commutative semirings (WAFA). To this purpose we prove that weighted alternating can be…