Advancement: Certified Synthesis for Interactive Media: High Assurance Metroidvania Generation

Ross Mawhorter
Computer Science PhD Student
Virtual Event
Adam Smith

Join us on Zoom: / Passcode: 171354

Description: Automatically generating level designs for videogames is a complicated task, and generators often create unplayable content. While there are ways of identifying and mitigating these failures, these methods often have problems scaling up, especially when it comes to generating large-scale coherent game worlds. In my research, I will extend techniques from the field of formal methods in order to synthesize new level designs that provably meet user-defined playability properties. This research will provide insights about formal verification over faulty abstractions, while also improving the ecological validity of procedural content generation research.