SAFE
Swarm Safety Detector
Home
(current)
SAFE Base
SAFE Base
Fresh Start
Examples:
Cannon
Trains
Rooms
Rooms Extended
SAFE For All
Universal SAFE
Fresh Start
Cannon
SAFE Data
Data-Aware SAFE
Info
Details
Team
Papers
Updates
title
now
×
body.
set goal
?
main controls
empty PMAS
add template
download MCMT input
more options
Turn based is OFF
?
witness of unsafety
compute
?
add existential goal formula
?
×
all variables are considered existentially quantified.
use the controls below.
env
z1
z2
=
!=
append
?
append
?
append:
|
witness
×
Notice
: Undefined variable: witnessmas in
/home/safe/public_html/pages/page_mcmt.php
on line
1110
Safe Swarms Club
better be safe than sorry
SAFE Base
SAFE Base
Fresh Start
SAFE For All
SAFE For All
SAFE Data
SAFE Data
By either dismissing this notice or interacting with the MAS-modelling functionalities of these website, you implicitly accept that cookies are stored in your browser.
×