Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes

DOI10.4230/LIPIcs.CONCUR.2015.169zbMath1374.68301OpenAlexW1709770004MaRDI QIDQ5357702

Rupak Majumdar, Alessandro Abate, Sadegh Esmaeil Zadeh Soudjani

Publication date: 12 September 2017

Full work available at URL: https://doi.org/10.4230/lipics.concur.2015.169

zbMATH Keywords

formal verificationdynamic Bayesian networksgeneral-space Markov processesMarkov chain abstractionstructured stochastic systems

Mathematics Subject Classification ID

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)

Related Items (3)

Dynamic Bayesian networks for formal verification of structured stochastic processes ⋮ 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

This page was built for publication: Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes