dSynMa

Repository for the dSynMa ERC project.

University of Gothenborg

Pinned Repositories

recipe
A toolkit for modelling and verification of reconfigurable multi-agent systems.
Language:Java2 1 381
syMTri
A tool for reactive synthesis with monitor triggers.
Language:Python3 2 20

dSynMa's Repositories

dSynMa/syMTri
A tool for reactive synthesis with monitor triggers.
Language:Python3 2 20
dSynMa/recipe
A toolkit for modelling and verification of reconfigurable multi-agent systems.
Language:Java2 1 381