1 citations · 3 across the 13 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025
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…
cs.FL2025
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,…