Osborn, J.; Lambrigger, B.; Mateas, M. HyPED: Modeling and Analyzing Action Games As Hybrid Systems. AIIDE 2021, 13, 87-93.