Is the reachability problem decidable for reversible data VAS where the set of data values A satisfy the following properties: A is a homogeneous rela
A regular function is given by a deterministic 2way transducer: a deterministic 2way automaton with outputs. Over the word \(w\in \Sigma^* \) such an
Although quite natural, the problem of deciding if a weighted automaton can be determinized has only been solved in 2022 by Bell & Smertnig [arXiv
Population games involve two players, Laetitia and Terence, and an NFA with one initial and one final state. At the start, some number $N$ of tokens a
We aim to model the problem of networked control. Sometimes (e.g., signals at a train junction, a rover on Mars), the systems are operated remotely, b