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.
|Filename, size||File type||Python version||Upload date||Hashes|
|Filename, size iglsynth-0.2.3.tar.gz (32.9 kB)||File type Source||Python version None||Upload date||Hashes View|