HyPED: Modeling and Analyzing Action Games as Hybrid Systems. - Joseph C. Osborn; Brian Lambrigger; Michael Mateas (AIIDE, 2017)