Cover Image

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aghamov, Rajab, Baier, Christel, Ouaknine, Joel, Piribauer, Jakob, Vahanwala, Mihir, Vialard, Isa
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, et al.
Published: (2024)

Linear dynamical systems with continuous weight functions
by: Aghamov, Rajab, et al.
Published: (2024)

Model Checking Linear Temporal Logic with Standpoint Modalities
by: Aghamov, Rajab, et al.
Published: (2025)

Positivity-hardness results on Markov decision processes
by: Piribauer, Jakob, et al.
Published: (2023)

Risk-averse optimization of total rewards in Markovian models using deviation measures
by: Baier, Christel, et al.
Published: (2024)

Foundations of probability-raising causality in Markov decision processes
by: Baier, Christel, et al.
Published: (2022)

The Value Problem for Weighted Timed Games with Two Clocks is Undecidable
by: Guilmant, Quentin, et al.
Published: (2025)

Multiplicative Rewards in Markovian Models
by: Baier, Christel, et al.
Published: (2025)

Formal Quality Measures for Predictors in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

The Monadic Theory of Toric Words
by: Berthé, Valérie, et al.
Published: (2023)

Skolem and Positivity Completeness of Ergodic Markov Chains
by: Vahanwala, Mihir
Published: (2023)

Marginals Before Conditionals
by: Sahasrabudhe, Mihir
Published: (2026)

On the Decidability of Monadic Theories of Arithmetic Predicates
by: Berthé, Valérie, et al.
Published: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
by: Spork, Timm, et al.
Published: (2025)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)

Backward Responsibility in Transition Systems Using General Power Indices
by: Baier, Christel, et al.
Published: (2024)

A Blueprint for Auditing Generative AI
by: Mokander, Jakob, et al.
Published: (2024)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
by: Vialard, Isa
Published: (2025)

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

Ordinal measures of the set of finite multisets
by: Vialard, Isa
Published: (2023)

Intervention and Conditioning in Causal Bayesian Networks
by: Galhotra, Sainyam, et al.
Published: (2024)

Identifying Unique Spatial-Temporal Bayesian Network without Markov Equivalence
by: Kang, Mingyu, et al.
Published: (2022)

Uncertainty Quantification for Gradient-based Explanations in Neural Networks
by: Mulye, Mihir, et al.
Published: (2024)

Dynamic Location Search for Identifying Maximum Weighted Independent Sets in Complex Networks
by: Zhu, Enqiang, et al.
Published: (2025)

Demonic variance and a non-determinism score for Markov decision processes
by: Piribauer, Jakob
Published: (2024)

What Really Controls Temporal Reasoning in Large Language Models: Tokenisation or Representation of Time?
by: Bhatia, Gagan, et al.
Published: (2026)

Directional Optimization Asymmetry in Transformers: A Synthetic Stress Test
by: Sahasrabudhe, Mihir
Published: (2025)

A Temporal Graph Network Framework for Dynamic Recommendation
by: Kim, Yejin, et al.
Published: (2024)

The Geometry of Forgetting: Temporal Knowledge Drift as an Independent Axis in LLM Representations
by: Elbadry, Rania, et al.
Published: (2026)

A Conditional Independence Test in the Presence of Discretization
by: Sun, Boyang, et al.
Published: (2024)

Knowledge Propagation over Conditional Independence Graphs
by: Chajewska, Urszula, et al.
Published: (2023)

Enhancing interpretability of rule-based classifiers through feature graphs
by: Sirocchi, Christel, et al.
Published: (2025)

Knowledge Graph Based Repository-Level Code Generation
by: Athale, Mihir, et al.
Published: (2025)

OpenAI's GPT-OSS-20B Model and Safety Alignment Issues in a Low-Resource Language
by: Inuwa-Dutse, Isa
Published: (2025)

NaijaNLP: A Survey of Nigerian Low-Resource Languages
by: Inuwa-Dutse, Isa
Published: (2025)

Domain-Independent Dynamic Programming with Constraint Propagation
by: Marijnissen, Imko, et al.
Published: (2026)

Score-based Generative Modeling for Conditional Independence Testing
by: Ren, Yixin, et al.
Published: (2025)

Causal Discovery with Fewer Conditional Independence Tests
by: Shiragur, Kirankumar, et al.
Published: (2024)

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
by: Christel Baier