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
Adds Query Examples
#35
Closed
mikucionisaau
closed
1 year ago
mikucionisaau
commented
1 year ago
Adds query examples:
[x] SMC
[ ] MITL
[x] TIGA simple controller synthesis
[ ] TIGA Collaborative
[ ] TIGA Partial Observability
[ ] TIGA Time-Efficient
[ ] TIGA not-loose-until-win
[x] Learning
[x] Strategy queries
Adds query examples: