HyPED: Modeling and Analyzing Action Games as Hybrid Systems

Authors

  • Joseph Osborn University of California, Santa Cruz
  • Brian Lambrigger University of California, Santa Cruz
  • Michael Mateas University of California, Santa Cruz

DOI:

https://doi.org/10.1609/aiide.v13i1.12937

Keywords:

hybrid automata, planning, incremental search, formal methods, videogames

Abstract

Platformers and action-adventure games have high-dimensional state spaces with difficult, non-linear constraints on character movement; even worse, game environments often respond to the player in complex ways that can cause exponential expansion of the planning search space. Planning problems in these high-dimensional spaces generally require domain-specific knowledge and manually abstracted models of game rules to replicate the intuition of human designers or playtesters. In this work, we outline a system for modeling these complex games at a precise and low level in terms of hybrid automata. With this representation, standard incremental search algorithms can be used to answer reachable-region queries, taking advantage of the domain information embedded in the system.

Downloads

Published

2021-06-25

How to Cite

Osborn, J., Lambrigger, B., & Mateas, M. (2021). HyPED: Modeling and Analyzing Action Games as Hybrid Systems. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 13(1), 87-93. https://doi.org/10.1609/aiide.v13i1.12937