PlayingWORDLE with UPPAAL STRATEGO

Peter G. Jensen, Kim G. Larsen, Marius Mikučionis*

*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Fingerprint

Dive into the research topics of 'PlayingWORDLE with UPPAAL STRATEGO'. Together they form a unique fingerprint.

Mathematics

Computer Science

Keyphrases