This repository contains some examples of multi-agent systems specified in the LAbS language. They may be analyzed with the SLiVER tool.
labs-lang/labs-examples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This repository contains some examples of multi-agent systems specified in the LAbS language. They may be analyzed with the SLiVER tool.