/synthesisDistrEnv

Synthesis algorithms for Petri games with one environment and an arbitrary number of system players. Contains the packages: synthesisDistrEnv. Depends on the repos: libs, framework, synthesizer.

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

Stargazers

No one’s star this repository yet.