{"_id":"hQ3N8dSgAthJmTcYu","bibbaseid":"soudjani-abate-majumdar-dynamicbayesiannetworksforformalverificationofstructuredstochasticprocesses-2017","author_short":["Soudjani, S. E. Z.","Abate, A.","Majumdar, R."],"bibdata":{"bibtype":"article","type":"article","title":"Dynamic Bayesian networks for formal verification of structured stochastic processes","journal":"Statistical Inference for Stochastic Processes","author":[{"propositions":[],"lastnames":["Soudjani"],"firstnames":["Sadegh","Esmaeil","Zadeh"],"suffixes":[]},{"propositions":[],"lastnames":["Abate"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Majumdar"],"firstnames":["Rupak"],"suffixes":[]}],"year":"2017","keywords":"⛔ No DOI found","bibtex":"@article{soudjani_dynamic_2017,\n\ttitle = {Dynamic {Bayesian} networks for formal verification of structured stochastic processes},\n\tjournal = {Statistical Inference for Stochastic Processes},\n\tauthor = {Soudjani, Sadegh Esmaeil Zadeh and Abate, Alessandro and Majumdar, Rupak},\n\tyear = {2017},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Soudjani, S. E. Z.","Abate, A.","Majumdar, R."],"key":"soudjani_dynamic_2017","id":"soudjani_dynamic_2017","bibbaseid":"soudjani-abate-majumdar-dynamicbayesiannetworksforformalverificationofstructuredstochasticprocesses-2017","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["dynamic","bayesian","networks","formal","verification","structured","stochastic","processes","soudjani","abate","majumdar"],"title":"Dynamic Bayesian networks for formal verification of structured stochastic processes","year":2017}