18 citations · 28 across the 25 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.FL2014
Weighted automata on infinite words in the context of Attacker-Defender games
Vesa Halava, Tero Harju, Reino Niskanen +1
We consider infinite-state Attacker-Defender games with reachability objectives. The results of the paper are twofold. Firstly we prove a new language-theoretic result for weighted…
cs.FL2014★ 1 cited
Broadcasting Automata and Patterns on Z^2
Thomas Nickson, Igor Potapov
The Broadcasting Automata model draws inspiration from a variety of sources such as Ad-Hoc radio networks, cellular automata, neighbourhood se- quences and nature, employing many o…