Pablo Gutiérrez-Sánchez, Marco Antonio Gómez-Martín, Pedro A. González-Calero, Pedro Pablo Gómez-Martín. Reinforcement Learning with Temporal Logic Specifications for Regression Testing NPCs in Video Games. In IEEE Conference on Games, CoG 2023, Boston, MA, USA, August 21-24, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.