Name		Name	Last commit message	Last commit date
cmsb2023		cmsb2023
coordination2020		coordination2020
gen		gen
isola2022-sttt2023		isola2022-sttt2023
isola2024		isola2024
misc		misc
scp2020		scp2020
tosem2022		tosem2022
vmcai2023		vmcai2023
LICENSE		LICENSE
README.md		README.md

Repository files navigation

The LAbS language: example specifications

This repository contains some examples of multi-agent systems specified in the LAbS language. They may be analyzed with the SLiVER tool.

About

Example LAbS specification files

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors