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.