Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1760018,
author = {Hajnal, Matej and Morgane, Nouvian and Petrov, Tatjana and Šafránek, David},
address = {Neuveden},
booktitle = {17th International Conference on Computational Methods in Systems Biology (CMSB 2019)},
doi = {http://dx.doi.org/10.1007/978-3-030-31304-3_32},
edition = {LNBI 11773},
editor = {Bortolussi, L. and Sanguinetti, G.},
keywords = {population models; formal methods; model checking},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Neuveden},
isbn = {978-3-030-31303-6},
pages = {383-386},
publisher = {Springer Nature},
title = {Data-Informed Parameter Synthesis for Population Markov Chains},
url = {https://doi.org/10.1007/978-3-030-31304-3_32},
year = {2019}
}
TY - JOUR
ID - 1760018
AU - Hajnal, Matej - Morgane, Nouvian - Petrov, Tatjana - Šafránek, David
PY - 2019
TI - Data-Informed Parameter Synthesis for Population Markov Chains
PB - Springer Nature
CY - Neuveden
SN - 9783030313036
KW - population models
KW - formal methods
KW - model checking
UR - https://doi.org/10.1007/978-3-030-31304-3_32
N2 - 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.
ER -
HAJNAL, Matej, Nouvian MORGANE, Tatjana PETROV and David ŠAFRÁNEK. Data-Informed Parameter Synthesis for Population Markov Chains. In Bortolussi, L. and Sanguinetti, G. \textit{17th International Conference on Computational Methods in Systems Biology (CMSB 2019)}. LNBI 11773. Neuveden: Springer Nature, 2019, p.~383-386. ISBN~978-3-030-31303-6. Available from: https://dx.doi.org/10.1007/978-3-030-31304-3\_{}32.
|
