Infinite Games on graph and Logic-based controller Synthesis
- IGLSynth is a package for synthesizing winning strategies in two-player
games and hypergames, where player’s objectives are given using logical specifications.
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.