adamtool/high-level

The framework for the synthesis of distributed systems modeled with high-level Petri games. Contains the packages: highLevel. Depends on the repos: libs, framework, synthesizer.

JavaGPL-3.0

Issues

Make sure to only calculate the bad and mcut flags of a decision set when it is really necessary
#6 opened 4 years ago by mgieseking
0
Consider only one bad state
#5 opened 4 years ago by mgieseking
0
Create the winning region for the approaches on the fly
#3 opened 4 years ago by mgieseking
1
Is there a problem with the approach using symmetries and BDDs and solving the BDD in the attractor
#4 opened 4 years ago by mgieseking
0
Create the flows of the two-player game only in the game itself
#2 opened 4 years ago by mgieseking
1
For exists winning strategy skip the calculation of the winning region
#1 opened 4 years ago by mgieseking
0