Better be safe than sorry.

SMT-based verification of parameterized MASs
via the MCMT model checker

SAFE Data is a data-aware extension of the Swarm Safety Detector, currently in development. It considerably extends the basic setting, paving the way for several data-aware extensions in which agents will have private and shared data storages and will be able to use dedicated communication channels.

A further extension that SAFE Data will allow is the ability to use object variables, which makes possible to symbolically and effortlessly encode very large numbers of actions, which must be encoded explicitly in SAFE Base.

Here will be swarm agents.

Safe Swarms Club

better be safe than sorry




SAFE For All
SAFE Data