Polymorph: a model for dynamic level generation
The case for dynamic difficulty adjustment in games