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