# Weighted Automata on Infinite Words in the Context of Attacker-Defender Games

Halava, V, Harju, T, Niskanen, R ORCID: 0000-0002-2210-1481 and Potapov, I
(2017) Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. Information and Computation, 255 (1). 27 - 44.