Fine-Tuning the Odds in Bayesian Networks

• 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
• Tools at the Frontiers of Quantitative Verification

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  9

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  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
• Abstraction-Refinement for Hierarchical Probabilistic Models

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  13

  citations
• Parameter Synthesis in Markov Models: A Gentle Survey

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  15

  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

• Principles of Model Checking

  2008 article Computer Science Formal Methods in Verification

  4,870

  citations
• Modeling and Reasoning with Bayesian Networks

  2009 Cambridge University Press eBooks book Computer Science Bayesian Modeling and Causal Inference

  1,120

  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
• Sensitivity analysis in discrete Bayesian networks

  1997 IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans article Computer Science Bayesian Modeling and Causal Inference

  271

  citations
• Building probabilistic networks: "Where do the numbers come from?" guest editors' introduction

  2000 IEEE Transactions on Knowledge and Data Engineering article Computer Science Bayesian Modeling and Causal Inference

  270

  citations
• Sensitivity analysis for probability assessments in Bayesian networks

  1995 IEEE Transactions on Systems Man and Cybernetics article Computer Science Bayesian Modeling and Causal Inference

  216

  citations
• Symbolic and Parametric Model Checking of Discrete-Time Markov Chains

  2005 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  185

  citations
• Probabilistic reachability for parametric Markov models

  2010 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification

  183

  citations
• Making Sensitivity Analysis Computationally Efficient

  2013 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

  165

  citations
• Properties of Sensitivity Analysis of Bayesian Belief Networks

  2002 Annals of Mathematics and Artificial Intelligence article Computer Science Bayesian Modeling and Causal Inference

  145

  citations
• PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

  2015 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

  116

  citations
• JANI: Quantitative Model and Tool Interaction

  2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  115

  citations
• Model Repair for Probabilistic Systems

  2011 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  112

  citations
• Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters

  2012 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

  106

  citations
• Parameter Synthesis for Markov Models: Faster Than Ever

  2016 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  89

  citations
• A distance measure for bounding probabilistic belief change

  2004 International Journal of Approximate Reasoning article Computer Science Bayesian Modeling and Causal Inference Open access

  81

  citations
• Parametric probabilistic transition systems for system design and analysis

  2006 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

  75

  citations
• Model Repair for Markov Decision Processes

  2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) conference-paper Computer Science Formal Methods in Verification

  70

  citations
• Sensitivity analysis: an aid for belief-network quantification

  2000 The Knowledge Engineering Review article Computer Science Bayesian Modeling and Causal Inference Open access

  67

  citations
• Sensitivity Analysis of Probabilistic Networks

  2007 Studies in fuzziness and soft computing book-chapter Computer Science Bayesian Modeling and Causal Inference

  62

  citations