Data-Informed Parameter Synthesis for Population Markov Chains
| Authors | |
|---|---|
| Year of publication | 2019 |
| Type | Article in Proceedings |
| Conference | 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) |
| MU Faculty or unit | |
| 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: |