HyPED: Modeling and Analyzing Action Games as Hybrid Systems

Open in new window