4 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…
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…
Automata on -adic words
Valérie Berthé, Toghrul Karimov, Mihir Vahanwala
A fundamental question in logic and verification is the following: for which unary predicates is the monadic second-order theory of $\langle \mathbb{N}; <, P_1,…