3 papers
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.LO2025
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…
cs.LO2025
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…