Data-Informed Parameter Synthesis for Population Markov Chains

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Diskrétní bifurkační analýza reaktivních systémů