most citedTighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More

16 citations · 17 across the 3 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 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…