Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data

From MaRDI portal
Dataset:6705361



DOI10.5281/zenodo.7900258Zenodo7900258MaRDI QIDQ6705361FDOQ6705361

Dataset published at Zenodo repository.

Julia Klein, Matej Hajnal, Huy Phung, Tatjana Petrov, David Safranek

Publication date: 5 May 2023

Copyright license: Creative Commons Attribution 4.0 International



Model, data, and a script to a paper of respective name







This page was built for dataset: Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data