TY - JOUR AU - Azad, Abdus Salam AU - Kim, Edward AU - Wu, Qiancheng AU - Lee, Kimin AU - Stoica, Ion AU - Abbeel, Pieter AU - Sangiovanni-Vincentelli, Alberto AU - Seshia, Sanjit A. PY - 2022/06/28 Y2 - 2024/03/28 TI - Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 36 IS - 6 SE - AAAI Technical Track on Machine Learning I DO - 10.1609/aaai.v36i6.20549 UR - https://ojs.aaai.org/index.php/AAAI/article/view/20549 SP - 6028-6036 AB - The capability of a reinforcement learning (RL) agent heavily depends on the diversity of the learning scenarios generated by the environment. Generation of diverse realistic scenarios is challenging for real-time strategy (RTS) environments. The RTS environments are characterized by intelligent entities/non-RL agents cooperating and competing with the RL agents with large state and action spaces over a long period of time, resulting in an infinite space of feasible, but not necessarily realistic, scenarios involving complex interaction among different RL and non-RL agents. Yet, most of the existing simulators rely on randomly generating the environments based on predefined settings/layouts and offer limited flexibility and control over the environment dynamics for researchers to generate diverse, realistic scenarios as per their demand. To address this issue, for the first time, we formally introduce the benefits of adopting an existing formal scenario specification language, SCENIC, to assist researchers to model and generate diverse scenarios in an RTS environment in a flexible, systematic, and programmatic manner. To showcase the benefits, we interfaced SCENIC to an existing RTS environment Google Research Football (GRF) simulator and introduced a benchmark consisting of 32 realistic scenarios, encoded in SCENIC, to train RL agents and testing their generalization capabilities. We also show how researchers/RL practitioners can incorporate their domain knowledge to expedite the training process by intuitively modeling stochastic programmatic policies with SCENIC. ER -