1 citations · 1 across the 1 of their papers we have counts for
4 papers
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…
On Expansions of Monadic Second-Order Logic with Dynamical Predicates
Joris Nieuwveld, Joël Ouaknine
Expansions of the monadic second-order (MSO) theory of the structure have been a fertile and active area of research ever since the publication of…
Model Checking Linear Temporal Logic with Standpoint Modalities
Rajab Aghamov, Christel Baier, Toghrul Karimov +4
Standpoint linear temporal logic () is a recently introduced extension of classical linear temporal logic () with standpoint modalities. Intuitively, these modalities al…