Azad, A. S.; Kim, E.; Wu, Q.; Lee, K.; Stoica, I.; Abbeel, P.; Sangiovanni-Vincentelli, A.; Seshia, S. A. Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. AAAI 2022, 36, 6028-6036.