Reinforcement Learning with Temporal Logic Specifications for Regression Testing NPCs in Video Games | Publicación