Reach on Register Automata via History Independence.

Simon Dierl, Falk Howar

Browse the full TAP paper archive.