Using Planning for Automated Testing of Video Games. - Tomás Balyo; Roman Barták; Lukás Chrpa; Michal Cervenka; Filip Dvorák; Stephan Gocht; Lukás Lipcák; Viktor Macek; Dominik Rohácek; Josef Ryzí; Martin Suda 001; Dominik Safránek; et al. (IJCAI, 2025)