Data-Informed Parameter Synthesis for Population Markov Chains

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

HAJNAL Matej MORGANE Nouvian PETROV Tatjana ŠAFRÁNEK David

Year of publication 2019
Type Article in Proceedings
Conference 17th International Conference on Computational Methods in Systems Biology (CMSB 2019)
MU Faculty or unit

Faculty of Informatics

Citation
Web https://doi.org/10.1007/978-3-030-31304-3_32
Doi http://dx.doi.org/10.1007/978-3-030-31304-3_32
Keywords population models; formal methods; model checking
Description In this work, we investigate how to obtain the parameters for single agent behaviour, based on data collected for a population. Measurements for different population sizes are especially important when studying social feedback: an adaptation of individual’s behaviour to the changing context of the population.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.