issues
search
UPPAALModelChecker
/
docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
https://docs.uppaal.org
1
stars
13
forks
source link
Learning parameter documentation
#51
Open
mikucionisaau
opened
8 months ago
mikucionisaau
commented
8 months ago
[x] Added the learning options and parameters
[x] Added links to publications and discussions
[ ] Describe the options (also consider adding tooltips to the GUI to show compact description)