Register automata with linear arithmetic.

Yu-Fang Chen, Ondrej Lengl, Tony Tan, Zhilin Wu

Browse the full LICS paper archive.