gavs online with Winfy

We have hosted the application gavs in order to run this application in our online workstations with Wine or directly.

Quick description about gavs:

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.

Audience: Science/Research, Education, Engineering.

.