Dynamic Bayesian networks as formal abstractions of structured stochastic processes
dynamic Bayesian networksformal verificationgeneral-space Markov processesMarkov chain abstractionstructured stochastic systems
Discrete-time Markov processes on general state spaces (60J05) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
- Dynamic Bayesian networks for formal verification of structured stochastic processes
- Dynamic Bayesian networks: a factored model of probabilistic dynamics
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
- Evaluation of Bayesian networks with flexible state-space abstraction methods
- scientific article; zbMATH DE number 2248445
- Evaluation of Bayesian networks with flexible state-space abstraction methods
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
- Compact structures for continuous time 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
- Dynamic Bayesian networks: a factored model of probabilistic dynamics
- scientific article; zbMATH DE number 2086965 (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
- Data-driven verification and synthesis of stochastic systems via barrier certificates
This page was built for publication: Dynamic Bayesian networks as formal abstractions of structured stochastic processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5357702)
