Download
GAVS+ (Game Arena Visualization and Synthesis, Plus!) is an open-source tool which enables to visualize a broad spectrum of algorithmic games used in verification and synthesis, and offers a standard interface with utility functions to establish connection with engineering practice. It is developed by Department of Informatics (Unit 6), TU München. The tool is mainly is served for research and educational purposes. The software is released under the GNU General Public License (v3).
A slightly outdated tutorial (in PDF) is included in the zip file.
Project Samples
License
GNU General Public License version 3.0 (GPLv3)Follow GAVS+
Other Useful Business Software
Build Agents and Models on One Platform
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
Rate This Project
Login To Rate This Project
User Reviews
-
Probably the best educational plateform for demonstrating algorithm for solving stochastic games. The number of algorithms and classes of games is incredible. The tutorial is clear and the gui is pretty intuitive.
