Data-Informed Parameter Synthesis for Population Markov Chains
Author:
Publisher
Springer International Publishing
Link
http://link.springer.com/content/pdf/10.1007/978-3-030-28042-0_10
Reference37 articles.
1. Alistarh, D., Gelashvili, R., Vojnović, M.: Fast and exact majority in population protocols. In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, pp. 47–56. ACM (2015)
2. Aspnes, J., Ruppert, E.: An introduction to population protocols. In: Garbinato, B., Miranda, H., Rodrigues, L. (eds.) Middleware for Network Eccentric and Mobile Applications, pp. 97–120. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-540-89707-1_5
3. Lecture Notes in Computer Science;M Backenköhler,2016
4. Backenkohler, M., Bortolussi, L., Wolf, V.: Moment-based parameter estimation for stochastic reaction networks in equilibrium. IEEE/ACM Trans. Comput. Biol. Bioinf. 15(4), 1180–1192 (2018)
5. Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587, 3–25 (2015)
Cited by 6 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data;PLOS ONE;2023-11-13
2. Fast Parametric Model Checking With Applications to Software Performability Analysis;IEEE Transactions on Software Engineering;2023-10-01
3. Understanding Social Feedback in Biological Collectives with Smoothed Model Checking;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
4. Automated deep abstractions for stochastic chemical reaction networks;Information and Computation;2021-12
5. Analysis of Markov Jump Processes under Terminal Constraints;Tools and Algorithms for the Construction and Analysis of Systems;2021
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3