Simon Dierl, Falk Howar. A Taxonomy and Reductions for Common Register Automata Formalisms. In Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001, editors, Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Volume 13030 of Lecture Notes in Computer Science, pages 186-218, Springer, 2021. [doi]
Abstract is missing.