Reinforcement Learning with Temporal Logic Specifications for Regression Testing NPCs in Video Games.
Pablo Gutiérrez-SánchezMarco Antonio Gómez-MartínPedro A. González-CaleroPedro Pablo Gómez-MartínPublished in: CoG (2023)
Keyphrases
- video games
- temporal logic
- regression testing
- reinforcement learning
- concurrent systems
- model checking
- transition systems
- reactive systems
- bounded model checking
- model checker
- formal specification language
- software maintenance
- test cases
- test suite
- learning experience
- formal specification
- educational games
- game play
- game design
- belief revision
- computer games
- software testing
- game playing
- linear temporal logic
- computation tree logic
- formal verification
- markov decision processes
- learning process
- serious games
- verification method
- game players
- learning algorithm
- state space
- control flow
- symbolic model checking
- query language
- software engineering
- error rate
- commercial games
- machine learning