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

Expanded documentation about observability in learning queries #46

Closed thorulf4 closed 9 months ago

thorulf4 commented 9 months ago

I think we should write a separate long page about learning queries, methods and parameters (and then refer to this page for syntax, where elements are explained only briefly).

I completely agree that we need to expand on learning documentation, but that will take some time and this was meant to be quick update