Tag
This paper presents OpenBlock, a method for constructive and verified content generation in adaptive tile-matching games, aiming to enhance procedural generation with verification.