Tools for synthesis in multi-agent systems: computes Nash equilibria of concurrent games modelling interactions in a protocol.
Latest commits.
Builders behind this project.
