Bayesian Verification of Chemical Reaction Networks
Authors: Gareth Molyneux, Viraj Brian Wijesuriya and Alessandro Abate
Paper Information
| Title: | Bayesian Verification of Chemical Reaction Networks |
| Authors: | Gareth Molyneux, Viraj Brian Wijesuriya and Alessandro Abate |
| Proceedings: | VEMDP Camera-ready abstracts |
| Editors: | Nicola Paoletti and Frits Dannenberg |
| Keywords: | CRN, FormalVerification, BayesianInference, Data Driven modelling, Systems Biology, Synthetic Biology |
| Abstract: | ABSTRACT. |
| Pages: | 1 |
| Talk: | Jul 19 15:00 (Session 135) |
| Paper: |  |