@misc{indiciaee3db27eca13d,
  title = {Weighted automata on infinite words in the context of Attacker-Defender games},
  author = {Vesa Halava and Tero Harju and Reino Niskanen and Igor Potapov},
  year = {2015},
  url = {https://arxiv.org/abs/1411.4796},
  note = {Source identifier: 1411.4796}
}