J. Osborn, B. Lambrigger, and M. Mateas, “HyPED: Modeling and Analyzing Action Games as Hybrid Systems”, AIIDE, vol. 13, no. 1, pp. 87-93, Jun. 2021.