Paper at LICS 2021

The paper entitled “Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata” by Mikołaj Bojańczyk, Bartek Klin and Joshua Moerman has been accepted at LICS 2021. This paper introduces a new model, weighted register automata, and shows that it has good decidability properties and that is defines a robust class of languages. This class of automata captures unambiguous register automata as well as probabilistic register automata.