UPPAAL Tiga

Manual

The manual (updated 9/8/07) is available separately from the distribution. You can access it from here.

Known Issues

• Extrapolation option -n 4. This option should not be used, it would give wrong results.
• It is possible to get the GUI choose randomly wrong points w.r.t. the strategy occasionally.
• The generated C-code makes sense only for models with winning non-cooperative strategies.