Toss is a program which allows to model multi-player games with both discrete and continuous dynamics in an intuitive way. One can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formula
There are no reported vulnerabilities