Published June 23, 2022 | Version v1
Software Open

Artefact for "Playing Wordle with Uppaal Stratego"

  • 1. Aalborg University

Description

An artefact for playing Monty Hall and Wordle games with Uppaal Stratego

A version of Uppaal Stratego specially tailored for these games is included.

The script `run_wordle.sh` is specifically designed to be able to repeat the experiments of the paper *Playing Wordle with Uppaal Stratego*.

The `worlde_helper.html` can visualize the strategies produced by Uppaal Stratego and provides a way to interact with the strategy.

The five best strategies for playing Wordle computed as part of the paper have been included in the `strategies` subfolder.

To change the game-mode of the Worlde game, see the definitions in the top of the "Play" template.

The included version of Uppaal is solely for non-commercial use and solely for use in the context of this artefact.

 

Files

repeatability-wordle.zip

Files (78.7 MB)

Name Size Download all
md5:7111c9061ea94fd11e7e80003a440975
78.7 MB Preview Download

Additional details

Funding

LASSO – Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems 669844
European Commission