Dynamic Bayesian networks: a factored model of probabilistic dynamics

DOI10.1007/978-3-642-33386-6_2MaRDI QIDQ4649284zbMATH OpenOpenAlexFDO

Authors Sucheendra K. Palaniappan, P. S. Thiagarajan

Publication date 21 November 2012

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33386-6_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Dynamic Bayesian networks as formal abstractions of structured stochastic processes
• Dynamic Bayesian networks for formal verification of structured stochastic processes
• Modeling and Reasoning with Bayesian Networks
• Relationships between probabilistic Boolean networks and dynamic Bayesian networks as models of gene regulatory networks
• Learning the structure of dynamic Bayesian networks from time series and steady state measurements

Cited in

(14)

• Learning the structure of dynamic Bayesian networks from time series and steady state measurements
• Networks of probabilistic events in discrete time.
• Exploiting local and repeated structure in dynamic Bayesian networks
• Exploiting causality for selective belief filtering in dynamic Bayesian networks
• A non-homogeneous dynamic Bayesian network with sequentially coupled interaction parameters for applications in systems and synthetic biology
• An extension of the differential approach for Bayesian network inference to dynamic Bayesian networks
• scientific article; zbMATH DE number 1149419 (Why is no real title available?)
• A look-ahead simulation algorithm for DBN models of biochemical pathways
• Dynamic Bayesian networks for formal verification of structured stochastic processes
• Indirect causes in dynamic Bayesian networks revisited
• Dynamic Bayesian networks as formal abstractions of structured stochastic processes
• Constant-space reasoning in dynamic Bayesian networks
• Bayesian network models for incomplete and dynamic data
• Automatically finding the right probabilities in Bayesian networks

This page was built for publication: Dynamic Bayesian networks: a factored model of probabilistic dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649284)