On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination-Reference-Cited by-同舟云学术

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

Published:2015-10 Issue: Volume:110 Page:23-50
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Latella Diego,Loreti Michele^ORCID,Massink Mieke

Funder

ASCENS

QUANTICOL

MIUR

Publisher

Elsevier BV

Subject

Software

Reference75 articles.

1. Ant Colony Optimization;Dorigo,2004

2. Stop signals provide cross inhibition in collective decision making by honey bee swarms;Seeley;Science,2012

3. J. Buchli, C. Santini, Complexity engineering, harnessing emergent phenomena as opportunities for engineering, reports of the Santa Fe Institute's Complex Systems Summer School 2005, 2005.

4. Concepts in complexity engineering;Frei;Int. J. Bio-Inspir. Comput.,2011

5. Programming pervasive and mobile computing applications: the TOTA approach;Mamei;ACM Trans. Softw. Eng. Methodol.,2009

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sibilla: A tool for reasoning about collective systems;Science of Computer Programming;2024-07

2. Sibilla: A Tool for Reasoning about Collective Systems;Lecture Notes in Computer Science;2022

3. A Logical Framework for Reasoning About Local and Global Properties of Collective Systems;Quantitative Evaluation of Systems;2022

4. Linking complexity economics and systems thinking, with illustrative discussions of urban sustainability;Cambridge Journal of Economics;2021-06-16

5. Measuring Adaptability and Reliability of Large Scale Systems;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020