This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

UPPAAL Stratego

Strategy synthesis, learning and evaluation.

Select a component to see open bugs in that component.

Component	Default Assignee
Engine	Marius Mikučionis
Engine	Analysis engine.
GUI	Marius Mikučionis
GUI	Java based graphical user interface for UPPAAL