January 01, 2020 conference-paper Open access Aachen paper

Bayesian Inference by Symbolic Model Checking

Lecture notes in computer science, pp. 115–133

DOI: 10.1007/978-3-030-59854-9_9 Full text (OA) OpenAlex

Authors 2

Bahare Salmani corresponding Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany

RWTH Aachen University
Joost-Pieter Katoen Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany

RWTH Aachen University

Cited by 10 stored of 10

A Unified Architecture for Risk Reasoning: Bridging Ontologies, Theorem Proving, and Model Checking
2026 Lecture notes in computer science conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

3

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

2

citations
Automatically Finding the Right Probabilities in Bayesian Networks
2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

8

citations
Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks
2023 International Joint Conference on Artificial Intelligence conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

0

citations
Gradient-Descent for Randomized Controllers Under Partial Observability
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

13

citations
A Fully Parallel Approach of Model Checking Via Probe Machine
2021 International Journal of Software Engineering and Knowledge Engineering article Computer Science Formal Methods in Verification

4

citations
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

19

citations
Fine-Tuning the Odds in Bayesian Networks
2021 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

10

citations

10 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 44

Probabilistic graphical models : principles and techniques
2009 article Computer Science Bayesian Modeling and Causal Inference

6,343

citations
Bayesian Networks and Decision Graphs
2007 Information science and statistics book Computer Science Bayesian Modeling and Causal Inference Open access

4,152

citations
PRISM 4.0: Verification of Probabilistic Real-Time Systems
2011 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

2,396

citations
The computational complexity of probabilistic inference using bayesian belief networks
1990 Artificial Intelligence article Computer Science Bayesian Modeling and Causal Inference Open access

1,962

citations
Bayesian Networks and Decision Graphs
2001 Springer eBooks book Computer Science Bayesian Modeling and Causal Inference

1,743

citations
Modeling and Reasoning with Bayesian Networks
2009 Cambridge University Press eBooks book Computer Science Bayesian Modeling and Causal Inference

1,120

citations
Approximating probabilistic inference in Bayesian belief networks is NP-hard
1993 Artificial Intelligence article Computer Science Bayesian Modeling and Causal Inference Open access

771

citations
Improving the variable ordering of OBDDs is NP-complete
1996 IEEE Transactions on Computers article Computer Science Formal Methods in Verification

558

citations
A differential approach to inference in Bayesian networks
2003 Journal of the ACM article Computer Science Bayesian Modeling and Causal Inference Open access

479

citations
A Storm is Coming: A Modern Probabilistic Model Checker
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

408

citations
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation
1997 Formal Methods in System Design article Computer Science Formal Methods in Verification

395

citations
Algebraic Decision Diagrams and Their Applications
1997 Formal Methods in System Design article Computer Science Formal Methods in Verification

267

citations
New advances in compiling CNF to Decomposable Negation Normal form
2004 European Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge

186

citations
Symbolic model checking for probabilistic processes
1997 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

164

citations
PSI: Exact Symbolic Inference for Probabilistic Programs
2016 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

161

citations
The Probabilistic Model Checking Landscape
2016 conference-paper Computer Science Formal Methods in Verification

159

citations
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
2000 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

129

citations
Symbolic probabilistic inference in belief networks
1990 National Conference on Artificial Intelligence conference-paper Computer Science Bayesian Modeling and Causal Inference

129

citations
Compiling Bayesian Networks with Local Structure
2008 article Computer Science Bayesian Modeling and Causal Inference

126

citations
JANI: Quantitative Model and Tool Interaction
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

115

citations