A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings. - Gustav Grabolle (GandALF, 2021)

Weighted Linear Dynamic Logic. - Manfred Droste; Gustav Grabolle; George Rahonis (Int. J. Found. Comput. Sci., 2024)