Tools

Software

Open-source tools and libraries developed in the lab.

An Akka-based distributed algorithm that lets a fleet of exploring agents find a pattern in a map that none of them knows entirely.

A Java library for bigraphs and bigraphical reactive systems, extensible with attached properties and custom matchers.