Bayesian Verification of Chemical Reaction Networks.
Gareth W. MolyneuxViraj B. WijesuriyaAlessandro AbatePublished in: CoRR (2020)
Keyphrases
- chemical reaction
- social networks
- bayesian learning
- maximum likelihood
- network model
- chemical reactions
- network analysis
- bayesian inference
- model checking
- posterior probability
- complex networks
- model selection
- bayesian methods
- graphical models
- formal verification
- network parameters
- bayesian networks
- learning algorithm