TY  - RPRT
TI  - Weighted automata on infinite words in the context of Attacker-Defender games
AU  - Vesa Halava
AU  - Tero Harju
AU  - Reino Niskanen
AU  - Igor Potapov
PY  - 2015
UR  - https://arxiv.org/abs/1411.4796
ID  - 1411.4796
ER  -