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

16 citations · 31 across the 15 of their papers we have counts for

collaborators
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.DM2014★ 16 cited

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

Julien Cassaigne, Vesa Halava, Tero Harju +1

We study the decidability of three well-known problems related to integer matrix multiplication: Mortality (M), Zero in the Left-Upper Corner (Z), and Zero in the Right-Upper Corne…