1 citations · 1 across the 4 of their papers we have counts for
10 papers
Preservation Theorems for Transducer Outputs
Valérie Berthé, Herman Goulet-Ouellet, Toghrul Karimov +2
Suppose we have a deterministic finite-state transducer and an infinite word , and run on to obtain an infinite word . Which properties of are guaranteed t…
Equivalence of Continuous-Time Markov Chains and Linear Dynamical Systems
Mihir Vahanwala
The purpose of this short note is to record that an analogue of the following result, which is known for discrete-time linear dynamical systems, also holds in the continuous-time s…
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
Piotr Bacik, Joris Nieuwveld, Joël Ouaknine +3
We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers…
On the Decidability of Monadic Theories of Arithmetic Predicates
Valérie Berthé, Toghrul Karimov, Joris Nieuwveld +3
We investigate the decidability of the monadic second-order (MSO) theory of the structure , for various unary predicates $P_1,\ldots,P…
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
Rajab Aghamov, Christel Baier, Joel Ouaknine +3
Dynamic Bayesian networks (DBNs) are compact graphical representations used to model probabilistic systems where interdependent random variables and their distributions evolve over…
The Monadic Theory of Toric Words
Valérie Berthé, Toghrul Karimov, Joël Ouaknine +2
For which unary predicates is the MSO theory of the structure decidable? We survey the state of the art, leadin…