1. [ 1 ] Eloi Alonso , Maxim Peter , David Goumard , and Joshua Romoff . 2020. Deep Reinforcement Learning for Navigation in AAA Video Games. CoRR abs/2011.04764 ( 2020 ). arXiv:2011.04764https://arxiv.org/abs/2011.04764 [1] Eloi Alonso, Maxim Peter, David Goumard, and Joshua Romoff. 2020. Deep Reinforcement Learning for Navigation in AAA Video Games. CoRR abs/2011.04764 (2020). arXiv:2011.04764https://arxiv.org/abs/2011.04764
2. [
2
] Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang and Wojciech Zaremba. 2016. OpenAI Gym. https://doi.org/10.48550/ARXIV.1606.01540 10.48550/ARXIV.1606.01540
[2] Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang and Wojciech Zaremba. 2016. OpenAI Gym. https://doi.org/10.48550/ARXIV.1606.01540
3. A Survey of Monte Carlo Tree Search Methods
4. [ 4 ] K. Chang , B. Aytemiz , and A. M. Smith . 2019 . Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https://doi.org/10 .1109/CIG.2019.8848091 10.1109/CIG.2019.8848091 [4] K. Chang, B. Aytemiz, and A. M. Smith. 2019. Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https://doi.org/10.1109/CIG.2019.8848091
5. [ 5 ] Edmund M. Clarke , Thomas A. Henzinger , Helmut Veith , and Roderick Bloem . 2018. Handbook of Model Checking ( 1 st ed.). Springer Publishing Company, Inc orporated. Section 13.1, p.385. [5] Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem. 2018. Handbook of Model Checking (1st ed.). Springer Publishing Company, Incorporated. Section 13.1, p.385.