English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Collective Adaptive Systems (CAS) consist of a large number of interactingobjects. The design of such systems requires scalable analysis tools andmethods, which have necessarily to rely on some form of approximation of thesystem's actual behaviour. Promising techniques are those based on mean-fieldapproximation. The FlyFast model-checker uses an on-the-fly algorithm forbounded PCTL model-checking of selected individual(s) in the context of verylarge populations whose global behaviour is approximated using deterministiclimit mean-field techniques. Recently, a front-end for FlyFast has beenproposed which provides a modelling language, PiFF in the sequel, for thePredicate-based Interaction for FlyFast. In this paper we present details ofPiFF design and an approach to state-space reduction based on probabilisticbisimulation for inhomogeneous DTMCs.

Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination