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

Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov

Browse the full CiE paper archive.