Data-Informed Parameter Synthesis for Population Markov Chains

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

HAJNAL Matej MORGANE Nouvian PETROV Tatjana ŠAFRÁNEK David

Rok publikování 2019
Druh Článek ve sborníku
Konference 17th International Conference on Computational Methods in Systems Biology (CMSB 2019)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www https://doi.org/10.1007/978-3-030-31304-3_32
Doi http://dx.doi.org/10.1007/978-3-030-31304-3_32
Klíčová slova population models; formal methods; model checking
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.