MAESTRO: O PEN -E NDED E NVIRONMENT D ESIGN FOR M ULTI -A GENT R EINFORCEMENT L EARNING
Anonymous authors
Paper under double-blind review
A BSTRACT
Open-ended learning methods that automatically generate a curriculum of increasingly challenging tasks serve as a promising avenue toward generally capable reinforcement learning (RL) agents.
Existing methods adapt curricula independently over either environment parameters (in single-agent settings) or co-player policies (in multi-agent settings).
However, the strengths and weaknesses of coplayers can manifest themselves differently depending on environmental features.
It is thus crucial to consider the dependency between the environment and co-player when shaping a curriculum in multi-agent domains.
In this work, we use this insight and extend Unsupervised Environment Design (UED) to multi-agent environments.
We then introduce Multi-Agent Environment-Space Response Oracles (M AESTRO ), the first multi-agent UED approach for two-player zero-sum settings.
M AESTRO efficiently produces adversarial, joint curricula over both environment parameters and co-player policies and attains minimax-regret guarantees at Nash equilibrium.
Our experiments show that M AESTRO outperforms a number of strong baselines on competitive two-player environments, spanning discrete and continuous control.
I NTRODUCTION
The past few years have seen a series of remarkable achievements in producing deep reinforcement learning (RL) agents with expert (Vinyals et al., 2019; Berner et al., 2019;
Wurman et al., 2022) and superhuman (Silver et al., 2016; Schrittwieser et al., 2020) performance in challenging competitive games.
Central to these successes are adversarial training processes that result in curricula creating new challenges at the frontier of an agent’s capabilities (Leibo et al., 2019; Yang et al., 2021).
Such automatic curricula, or autocurricula, can improve the sample efficiency and generality of trained policies (Open Ended Learning Team et al., 2021), as well as induce an open-ended learning process (Balduzzi et al., 2019; Stanley et al., 2017) that continues to endlessly robustify an agent.
Autocurricula have been effective in multi-agent RL for adapting to different co-players in competitive games (Leibo et al., 2019; Garnelo et al., 2021; Baker et al., 2019; Bansal et al., 2018;
Feng et al., 2021), where it is crucial to play against increasingly stronger opponents (Silver et al., 2018) and avoid being exploited by other agents (Vinyals et al., 2019).
Here, algorithms such as self-play (Silver et al., 2018; Tesauro, 1995) and fictitious self-play (Brown, 1951; Heinrich et al., 2015) have proven especially effective.
Similarly, in single-agent RL, autocurricula methods based on Unsupervised
Environment Design (UED, Dennis et al., 2020) have proven effective in producing agents robust to a wide distribution of environments (Wang et al., 2019; 2020; Jiang et al., 2021a; Parker-Holder et al., 2022).
UED seeks to adapt distributions over environments to maximise some metrics of interest.
Minimax-regret UED seeks to maximise the regret of the learning agent, viewing this process as a game between a teacher that proposes challenging environments and a student that learns to solve them.
At a Nash equilibrium of such games, the student policy provably reaches a minimax-regret policy over the set of possible environments, thereby providing a strong robustness guarantee.
However, prior works in UED focus on single-agent RL and thus ignore the dependency between the environment and the behaviours of other agents within it.
In multi-agent domains, the behaviour of other agents plays a critical role in modulating the complexity and diversity of the challenges faced by a learning agent.
For example, an empty environment that has no blocks to hide behind might be
[Figure]
most challenging when playing against opponent policies that attack head-on, whereas environments that are full of winding hallways might be difficult when playing against defensive policies.
Robust
RL agents should be expected to interact successfully with a wide assortment of other rational agents in their environment (Yang et al., 2021).
Therefore, to become widely applicable, UED must be extended to include multi-agent dynamics as part of the environment design process.
In this work, we formalise this novel problem as an Underspecified Partially-Observable Stochastic
Game (UPOSG), which generalises UED to multi-agent settings.
We then introduce Multi-Agent
Environment-Space Response Oracles (M AESTRO ), the first approach to train generally capable agents in two-player UPOSGs such that they are robust to changes in the environment and co-player policies.
M AESTRO is a replay-guided approach that explicitly considers the dependence between agents and environments by jointly sampling over environment/co-player pairs using a regret-based curriculum and population learning (see Figure 1).
In partially observable two-player zero-sum games, we show that at equilibrium, the M AESTRO student policy reaches a Bayes-Nash Equilibrium with respect to a regret-maximising distribution over environments.
Furthermore, in fully observable settings, it attains a Nash-Equilibrium policy in every environment against every rational agent.
We assess the curricula induced by M AESTRO and a variety of strong baselines in two competitive two-player games, namely a sparse-reward grid-based LaserTag environment with discrete actions (Lanctot et al., 2017) and a dense-reward pixel-based MultiCarRacing environment with continuous actions (Schwarting et al., 2021).
In both cases, M AESTRO produces more robust agents than baseline autocurriculum methods on out-of-distribution (OOD) human-designed environment instances against unseen co-players.
Furthermore, we show that M AESTRO agents, trained only on randomised environments and having never seen the target task, can significantly outperform specialist agents trained directly on the target environment.
Moreover, in analysing how the student’s regret varies across environments and co-players, we find that a joint curriculum, as produced by M AESTRO , is indeed required for finding the highest regret levels, as necessitated by UED.
In summary, we make the following core contributions: (i) we provide the first formalism for multi-agent learning in underspecified environments, (ii) we introduce M AESTRO , a novel approach to jointly learn autocurricula over environment/co-player pairs, implicitly modelling their dependence, (iii) we prove M AESTRO inherits the theoretical property from the single-agent setting of implementing a minimax-regret policy at equilibrium, which corresponds to a Bayes-Nash or Nash equilibrium in certain settings, and (iv) by rigorously analysing the curriculum induced by M AESTRO and evaluating M AESTRO agents against strong baselines, we empirically demonstrate the importance of the joint curriculum over the environments and co-players.
P ROBLEM S TATEMENT AND P RELIMINARIES
In single-agent domains, the problem of Unsupervised Environment Design (UED) is cast in the framework of an underspecified POMDP (Dennis et al., 2020), which explicitly augments a standard
POMDP with a set of free parameters controlling aspects of the environment subject to the design process.
We extend this formalism to the multi-agent setting using stochastic games (Shapley, 1953).
[Figure]
An Underspecified Partially Observable Stochastic Game (UPOSG) is given by the tuple M = ⟨ n, A , O , Θ , S, T , I , R , γ ⟩ .
A , O , and S denote the action, observation, and state spaces, respectively.
Θ is the set of the environment’s free parameters, such as possible positions of walls in a maze or levels of a game.
These parameters can be distinct at every time step and are also incorporated into the transition function T : S
×
A × Θ → ∆ ( S ) , where A ≡ A n is the joint action of all agents.
Each agent draws individual observations according to the observation function I : S × N → O and obtains reward according to the reward function R : S ×
A × N → R , where N = { 1 , . . . , n } .
The discount factor is denoted by γ .
Each configuration of environment parameters θ ∈ Θ defines a specific instantiation of the environment M θ , which is often referred to as a level (Jiang et al., 2021a; ParkerHolder et al., 2022).
In this work, we will simply refer to a specific instance θ as an environment when clear from the context.
We use − i to notate all agents except i : π − i =
( π 1 , . . .
π i − 1 , π i +1 , . .
. , π N ) .
For an agent i with a stochastic policy π i :
O × A → [0 , 1] , we define the value in M θ with co-players π − i as V θ
( π i , π − i ) =
E [ (cid:80) Tt =
γ t r it ] where r it are the rewards achieved by agent i when following policy π i in M θ .
The goal is to sequentially provide values for Θ and co-players π − i during training such that the resulting policy π i of agent i is robust to any possible environment parameterisation and co-player policies, i.e., π i = arg max π i min θ, π − i V θ
( π i , π − i ) .
UPOSGs are general by nature and allow for cooperative, competitive, and mixed scenarios.
Furthermore, Θ can represent different reward functions, game layouts, changes in observations, and environment dynamics.
When n = 1 , UPOSGs are identical to UPOMDPs for single-agent tasks.
In the remainder of this work, we concentrate on competitive settings with n = 2 agents.
2. UED A PPROACHES IN S INGLE -A GENT RL
A curriculum over the environment parameters θ can arise from a teacher maximising a utility function
U t ( π, θ ) based on the student’s policy π .
The most naive form of UED is domain randomisation (DR,
Jakobi, 1997; Sadeghi & Levine, 2017), whereby environments are sampled uniformly at random, corresponding to a constant utility U Ut ( π, θ ) = C .
Recent UED approaches use regret as the objective for maximisation (Dennis et al., 2020;
Gur et al., 2021):
U Rt ( π, θ ) =
max π ∗ ∈ Π { R EGRET θ
( π, π ∗ ) } =
max π ∗ ∈ Π
{ V θ ( π ∗ ) − V θ ( π ) } , where π ∗ is the optimal policy on θ .
Empirically, regret-based objectives produce curricula of increasing complexity that result in more robust policies.
Moreover, if the learning process reaches a Nash equilibrium, the student provably follows a minimax-regret policy (Dennis et al., 2020): π ∈ arg
[Equation]
Π { R EGRET θ ( π A , π B ) }} , where Π and Θ are the strategy sets of the student and the teacher, respectively.
While this is an appealing property, the optimal policy π ∗ is unknown in practice and must be approximated instead.
Prioritized Level Replay (PLR, Jiang et al., 2021a;b) continually curates an environment buffer containing the environments generated under domain randomisation with the highest learning potential, e.g., as measured by estimated regret.
PLR alternates between evaluating new environments for learning potential and performing prioritised training of the agent on the environments with the highest learning potential so far found.
By training the student only on curated high-regret environments,
PLR provably results in a minimax-regret student policy at Nash equilibrium.
M AESTRO makes use of PLR-style curation of environment buffers to discover high-regret environments during training.
2. C O -P LAYER A UTOCURRICULA IN C OMPETITIVE M ULTI -A GENT RL
The choice of co-players plays a crucial role for training agents in multi-agent domains (Leibo et al., 2019).
A simple but effective approach is self-play (SP, Silver et al., 2018), whereby the agent always plays with copies of itself.
In competitive two-player games, SP produces a curriculum in which opponents match each other in skill level.
However, SP may cause cycles in the strategy space when agents forget how to play against previous versions of their policy (Garnelo et al., 2021).
Fictitious Self-Play (FSP, Heinrich et al., 2015) overcomes the emergence of such cycles by training an agent against a uniform mixture of all previous policies.
However, FSP can result in wasting a large number of interactions against significantly weaker opponents.
Prioritized Fictitious Self-Play (PFSP, Vinyals et al., 2019) mitigates this potential inefficiency by matching agent
A with a frozen opponent B from the set of candidates C with probability f
( P [ A beats B ]) (cid:80) C ∈C f ( P [ A beats C ]) , where f defines the exact curriculum over opponents.
For example, f hard ( x ) =
(1 − x ) p , where p ∈ R + , forces PFSP to focus on the hardest opponents.
M ETHOD 3. A N I LLUSTRATIVE E XAMPLE
[Table]
[Table] [Table] [Table] To highlight the importance of curricula over the joint space of environments and co-players, we provide an illustrative example of a simple two-player game in Table 1.
Here, the goal of the regret-maximising teacher is to select an environment/co-player pair for the student.
Ignoring the co-player and selecting the highest regret environment leads to choosing θ 3 .
Similarly, ignoring environments and selecting the highest regret coplayer leads to π C .
This yields a suboptimal pair ( θ 3 , π C ) with R EGRET ( θ 3 , π C ) = 0 .
4 , whereas a teacher over the joint space yields the optimal pair ( θ 1 , π A ) with
R EGRET ( θ 1 , π A ) = 0 .
Thus, naively treating the environment and co-player as independent can yield a sub-optimal curriculum.
Such overspecialisation toward a subset of environmental challenges at the expense of overall robustness commonly emerges in multi-agent settings (Garnelo et al., 2021).
3. M ULTI -A GENT E NVIRONMENT -S PACE R ESPONSE O RACLES (M AESTRO ) Algorithm
1 Input: Environment generator Θ 2 Initialise: Student policy π , co-player population B 3 Initialise: Environment buffers ∀ π ′ ∈ B , Λ ( π ′ ) :
= ∅ .
4 for i = { 1 , 2 , . . .
} do for many episodes do π ′ ∼ B ▷ Sample a co-player via Equation (1)
Sample replay decision ▷ see Section 3.2.
if replaying then θ ∼ Λ ( π ′ )
▷ Sample a replay environment
Collect trajectory τ of π using ( θ, π ′ )
Update π with rewards R τ ) else θ ∼ Θ Sample a random environment
Collect
Compute [Table] [Table]
[Table]
[Table] [Table]
In this section, we describe a new multi-agent UED approach called MultiAgent Environment-Space Response Oracles (M AESTRO ) which induces a regretbased autocurricula jointly over environments and co-players.
M AESTRO is a replay-guided approach (Jiang et al., 2021a) that relies on an environment generator to continuously create new environment instances.
Rather than storing a single environment buffer, as done by PLR, M AESTRO maintains a population of policies B with each policy assigned its own environment buffer.
In each environment θ produced by the generator, M AESTRO evaluates the student’s performance against a non-uniform mixture of co-player policies in B .
Highregret environment/co-player pairs are then stored, along with the student agent’s regret estimate for that pair, in co-player’s corresponding environment buffer.
M AESTRO maintains a dynamic population of co-players of various skill levels throughout training (Czarnecki et al., 2020).
Figure 1 presents the overall training paradigm of M AESTRO and Algorithmprovides its pseudocode.
We note that when applied to a fixed singleton environment, M AESTRO becomes a variation of PFSP (Vinyals et al., 2019), where the mixture of policies from the population is computed based on the agent’s regret estimate, rather than the probability of winning.
3.2. M AINTAINING A P OPULATION OF C O -P LAYERS
A key issue of using replay-guided autocurricula for multi-agent settings is nonstationarity.
Specifically, using PLR with SP results in inaccurate regret estimates over environment/co-player pairs, as the co-player policies evolve over training.
M AESTRO overcomes this issue by maintaining a population of past policies (Lanctot et al., 2017).
This approach confers several key benefits.
First, re-encountering past agents helps avoid cycles in strategy space (Balduzzi et al., 2019; Garnelo et al., 2021).
Second, M AESTRO maintains accurate regret estimates in the face of nonstationarity by employing a separate environment buffer for each policy in the population.
Third, M AESTRO always optimises a single policy throughout training, rather than a set of distinct policies which can be computationally expensive.
3.2. C URATING THE E NVIRONMENT /C O - PLAYER P AIRS
To optimise for the global regret over the joint environment/co-player space, a M AESTRO student is trained to best respond to a non-uniform mixture of policies from a population by prioritising training against co-players with high-regret environments in their buffers:
[Equation]
(1) where B is the co-player population, Λ ( π ′ ) is the environment buffer of agent π ′ , and (cid:94) Regret is the estimated regret of student for the pair ( θ, π ′ ) .
To ensure that the student learns to best respond to high-regret co-players as well as to the entire population B , we enforce all members of B to be assigned a minimum probability λN .
For instance, if Equation (1) returns a single highest-regret coplayer, then the resulting prioritised distribution assigns a weight of N − λ ( N − 1) N to the highest-regret co-player and weight of λN to the remaining co-players.
For each co-player π ′ ∈ B , M AESTRO maintains a PLR environment buffer Λ ( π ′ ) with the top- K high-regret levels.
Once the co-player is sampled, we make a replay decision: with probability p , we use a bandit to sample a training environment from Λ ( π ′ ) , 2 and with probability 1 − p , we sample a new environment for evaluation from the environment generator.
Similar to Robust PLR (Jiang et al., 2021a), we only update the student policy on environments sampled from the environment buffer.
This provides M AESTRO with strong robustness guarantees, which we discuss in Section 3.3.
3. R OBUSTNESS G UARANTEES OF M AESTRO
We analyse the expected behaviour of M AESTRO if the system reaches equilibrium: does M AESTRO produce a regret-maximising distribution over environments and co-players, and is the policy optimal with respect to these distributions?
We cast this problem in terms of Bayesian Nash Equilibrium (BNE) behaviour on individual environments.
BNE is an extension of Nash Equilibrium (NE) where each co-player j has an unknown type parameter θ j , which affects the dynamics of the game and is only known to that player.
The distribution over these parameters ˜Θ N is assumed to be common knowledge.
Equilibria are then defined as the set of policies, conditioned on their unknown type, each being a best response to the policies of the other players.
That is, for policy π j of any player j ,
[Equation]
In M AESTRO , we can assume each co-player is effectively omniscient, as each is co-evolved for maximal performance against the student on the environments it is paired with in its high-regret environment buffer.
In contrast, the student is conferred no special advantages and has access to only the standard observations.
We formalise this setting as a − i -knowing game.
This game corresponds to the POSG with the same set of players, action space, rewards, and states as the original UPOSG, but with θ sampled at the first time step and provided to co-player agents − i as part of their observation.
Definition 1.
The -i-knowing-game of an UPOSG M =
( N, A
= × i ∈
N A
i , O = × i ∈ N O i , Θ , R = ×
i ∈ N R i , S, I = ×
i ∈
N I
i , T ) with parameter distribution ˜ θ is defined to be the POSG K =
( N ′ =
N, A ′ i =
A i , O ′ i
= O i + { Θ if i ∈ − i } , R ′ i
=
R i , S ′ =
S, I ′ i
=
I i
+ { θ if ∈ − i } , T ′ =
T ( θ )) where θ is sampled from the distribution ˜ θ on the first time step.
We thus arrive at our main theorem, followed by a convenient and natural corollary for fully observable settings.
We include the full proofs in Appendix A.
Theorem 1.
In two-player zero-sum settings, the M AESTRO student at equilibrium implements a
Bayes-Nash Equilibrium of the − i -knowing game, over a regret-maximising distribution of levels.
Corollary 1.
In fully-observable two-player zero-sum settings, the M AESTRO student at equilibrium implements a Nash Equilibrium in each environment in the support of the environment distribution.
Informally, the proof follows from the observation that the − i -knowing game in a fully observable setting is equivalent to the original distribution of environments, as there is no longer an information asymmetry between the student and co-players.
Moreover, the NE strategy on this distribution of environment instances would be a NE strategy on each instance individually, given that they are fully observable.
This argument is formalised in Appendix A.
E XPERIMENTAL S ETTING
Our experiments aim to understand (1) the interaction between autocurricula over environments and co-players in multi-agent UED, (2) its impact on zero-shot transfer performance of student policies to unseen environments and opponents, and (3) the emergent complexity of the environments provided to the student agent under autocurricula.
To this end, we evaluate methods in two distinct domains: discrete control with sparse rewards, and continuous control with dense rewards.
We assess student robustness in OOD human-designed environments against previously unseen opponents.
Given its strong performance and usage in related works, PPO (Schulman et al., 2017) serves as the base RL algorithm in our experiments.
We provide full environment descriptions in Appendix C and detail our model architecture and hyperparameter choices in Appendix D.
Baselines and Ablations We compare M AESTRO against two key baselines methods producing autocurricula over environments: domain randomization (DR; Jakobi, 1997), and (Robust) PLR (Jiang et al., 2021a), a state-of-the-art UED baseline.
For co-player curricula, we consider SP, FSP, and PFSP, popular methods that underlie breakthroughs such as AlphaGo (Silver et al., 2016) and AlphaStar
(Vinyals et al., 2019).
Since these baselines independently produce either curricula over environments or over co-players, our choice of baselines results in a combination of 6 joint curriculum baselines over the environment/co-player space.
We present further ablations investigating the importance of
M AESTRO ’s co-player selection mechanism in Appendix B.
4. E NVIRONMENTS
LaserTag is a grid-based, two-player zero-sum game proposed by Lanctot et al.
(2017) where agents aim to tag each other with laser beams.
Success in LaserTag requires agents to master sophisticated behaviours, including chasing opponents, hiding behind walls, keeping clear of long corridors, and maze solving.
Each agent observes the 5 × 5 grid area in front of it and can turn right or left, move forward, and shoot.
Upon tagging an opponent, the agent and the opponent receive a reward ofand − 1 , respectively, and the episode terminates.
LaserTag training environments are generated by randomly sampling grid size, wall locations, and the initial locations and directions of agents.
MultiCarRacing (MCR, Schwarting et al., 2021) is a high-dimensional, pixel-based continuous control environment with dense rewards.
Two agents compete by driving a full lap around the track.
Each track consists of n tiles.
Agents receive a reward of 1000 /n or 500 /n for reaching a tile first or second, respectively.
Agents receive a top-down, egocentric 96 × 96 × 3 partial observation and can collide, push, or block each other, allowing for complex emergent behaviour and non-transitive dynamics.
The action space is 3-dimensional, controlling changes in acceleration, braking, and steering.
All training tracks used for training agents are generated by sampling 12 random control points defining a Bézier curve forming the track.
Figure 2 shows example LaserTag and MCR environments, including human-designed OOD test environments.
MCR test environments are the Formula 1 CarRacing tracks from (Jiang et al., 2021a).
55K # Student Updates 0.
M i n E x p e c t e d R e t u r n
LaserTag-Eval 0.
M i n E x p e c t e d
R e t u r n
LaserTag-Eval 0.
R o un dR
o
b
i n R e t u r n
LaserTag-Eval
R ESULTS AND D ISCUSSION 5. C ROSS -P LAY R ESULTS
To assess the robustness of the approaches, we evaluate all pairs of methods in cross-play on all OOD human-designed environments evaluation ( 13 LaserTag levels and 20 Formula 1 tracks for MCR).
Agents are trained for 55000 PPO updates ( ≈ 1B steps) on LaserTag and 4500 updates ( ≈ 40M steps) on MCR.
Full results on individual environments are included in Appendix E.2.
Figure 3 shows the cross-play results on LaserTag throughout training, as well as at the end of training.
We use the minimum expected return (MER) against any baseline to estimate the exploitability of each method against all other baselines.
Less exploitable agents should attain higher MER across all other agents.
We can see that M AESTRO outperforms all baselines in MER, being the only method with positive MER, i.e., it is not exploited by any other baseline.
Although SP-based methods achieve an early performance lead due to more frequent policy updates, population-based methods (FSP,
PFSP, and M AESTRO ) eventually outperform them.
Figure 4 reports the MCR results on challenging F1 tracks, as well as the procedurally generated training tracks.
Here, M AESTRO outperforms all baselines individually across all benchmark tracks, while also being the least exploitable policy.
PLR-based baselines outperform DR, underscoring the benefits of a curriculum over environments on this task.
Nonetheless, M AESTRO produces the most robust agents, highlighting the importance of a joint curriculum over environments and co-players.
[Figure]
5. I MPORTANCE OF THE CURRICULUM OVER THE ENVIRONMENT / CO - PLAYER SPACE
Figure 5 shows the co-player × environment regret landscape of a M AESTRO student agent on randomly-sampled environments against each co-player from M AESTRO ’s population at the end of training (as done in the motivating example in Section 3.1).
We observe that high regret estimates depend on both the choice of the environment and the co-player.
Most importantly, maximising mean regrets over environments and co-players independently does not lead to maximum regret over the joint space, highlighting the importance of the curricula over the joint environment/co-player space.
5. E VALUATION A GAINST S PECIALIST A GENTS
While we show that M AESTRO outperforms baselines trained on a large number of environments, we are also interested in evaluating M AESTRO against specialist agents trained only on single, fixed environments.
Figure 6 shows that, despite having never seen the target environments, the M AESTRO agent beats specialist agents trained exclusively on them for the same number of updates.
This is possible because the M AESTRO agent was trained with an autocurriculum that promotes the robustness of the trained policy, allowing it to transfer better to unseen opponents on OOD environments.
These results demonstrate the potential of multi-agent UED in addressing key problems in multi-agent RL, such as exploration (Leonardos et al., 2021) and co-player overfitting (Lanctot et al., 2017)
[Figure]
5. E MERGENT C URRICULUM A NALYSIS
We analyse the curriculum over environments induced by M AESTRO and compare it with the curricula generated by the baselines.
Figure 7 demonstrates that, as training progresses, M AESTRO provides agents with LaserTag environments with an increasing density of walls, which contributes to a gradual increase in environment complexity.
Initially, the size of the grid also increases as the teacher challenges the student to navigate the mazes.
However, after more adept opponent agents enter the population, larger mazes yield lower regret.
Instead, M AESTRO starts prioritising smaller grid sizes compared to other baselines.
Smaller environments with high wall density challenge the student to navigate maze structures while succeeding in more frequent multi-agent interactions against increasingly more capable opponents throughout an episode.
Figure 2c illustrates such challenging environments, which, due to the smaller grid, require the student to engage with the opponent earlier in the episode.
PLR-based methods also prioritise high wall density but do not shrink the grid size to prioritise competitive interactions to the same extent as M AESTRO .
[Figure]
We observe similar emergent complexity in the MCR domain.
Here the PLR-based baselines and
M AESTRO all prioritise tracks that have a high number of notches (i
[Figure]
e. the non-convex parts of the track) and enclosed area.
Here, as in the LaserTag domain, M AESTRO gradually shrinks the track amplitude, which corresponds to a lower intensity of the winding portions of the track.
Such tracks may contain more segments where competitive interactions can play out without sacrificing overall episodic return, thus inducing policies more adept at the competitive aspects of this domain.
Figureillustrates randomly sampled environments curated by M AESTRO at different stages of training.
R ELATED W ORK
Unsupervised Environment Design (UED, Dennis et al., 2020) is a family of methods that provide an agent with a sequence of environments for training robust policies.
The simplest UED approach is
Domain Randomisation (DR, Jakobi, 1997; Sadeghi & Levine, 2017) which has demonstrated strong empirical gains in domains such as robotics (Tobin et al., 2017; James et al., 2017) and magnetic control of tokamak plasmas (Degrave et al., 2022).
PAIRED (Dennis et al., 2020; Gur et al., 2021) trains an environment generator that maximises the student’s regret, approximated as the difference in return between the student and an antagonist agent.
Prioritized Level Replay (PLR, Jiang et al., 2021a;b) curates environment instances (i.e., levels) for training, by performing a random search of domain randomised levels for those with high learning potential, e.g. as measured by estimated regret.
ACCEL (Parker-Holder et al., 2022) is a replay-guided UED approach that extends PLR by making edits to previously high-regret environments.
Several methods generate curricula by adapting the environment parameters in response to the agent’s performance (Portelas et al., 2019; Matiisen et al., 2020; Klink et al., 2019; Eimer et al., 2021).
This adaptation is largely heuristic-driven, without the robustness guarantees shared by minimax-regret UED methods.
Notably, all these methods focus on single-agent RL, while M AESTRO is designed for the two-player multi-agent setting.
Many prior works study curricula over opponents in two-player zero-sum settings.
The most naive approach, self-play (SP), consists of pitting the agent against a copy of itself.
Combined with search, SP has led to superhuman performances in board games such as Backgammon (Tesauro, 1995), Chess and Go (Silver et al., 2016).
Zinkevich et al.
(2007) uses self-play with regret minimisation for achieving Nash-Equilibrium, an approach that led to superhuman performance in Poker (Brown & Sandholm, 2018; 2019).
Fictitious self-play (FSP) learns a best-response to the uniform mixture of all previous versions of the agent (Brown, 1951; Leslie & Collins, 2006; Heinrich et al., 2015).
Prioritised fictitious self-play (PFSP, Vinyals et al., 2019) trains agents against a non-uniform mixture of policies based on the probability of winning against each policy.
PFSP is a practical variant of Policy-Space Response Oracles (PSRO, Lanctot et al., 2017), a general population learning framework, whereby new policies are trained as best responses to a mixture of previous policies following a metastrategy solver.
M AESTRO is related to PSRO but adapted for UPOSGs.
In M AESTRO , the population meta-strategy is based on the student’s regret when playing against policies on environments observed during training.
Unlike our work, these prior autocurricula methods for competitive multi-agent environments do not directly consider variations of the environment itself.
Several prior works have applied DR in multi-agent domains.
Randomly modifying the environment has proven critical for the emergence of complex behaviours in Hide&Seek (Baker et al., 2019) and Capture the Flag (Jaderberg et al., 2019).
In XLand (Open Ended Learning Team et al., 2021), a curriculum is provided over both environments and tasks to create general learners.
This work differs from ours in multiple aspects.
Open Ended Learning Team et al.
(2021) uses handcrafted heuristics and rejection sampling for selecting environments for training and evaluating agents, while
M AESTRO automatically selects environments based on regret rather than hand-coded heuristics.
Further, unlike the autocurricula used in XLand, M AESTRO does not rely on population-based training, a computationally expensive algorithm for tuning the autocurriculum hyperparameters.
C ONCLUSION AND F UTURE W ORK
In this paper, we provided the first formalism for multi-agent learning in underspecified environments and introduced M AESTRO , an approach for producing a joint autocurriculum over both environments and co-players.
Moreover, we proved that M AESTRO attains minimax-regret robustness guarantees at Nash equilibrium.
Empirically M AESTRO produces agents that are more robust to the environment and co-player variations than a number of strong baselines in two challenging domains.
M AESTRO agents even outperform specialist agents in these domains.
Our work opens up many interesting directions for future work.
M AESTRO could be extended to n -player games, as well as cooperative or mixed settings.
Furthermore, M AESTRO could be combined with search-based methods in order to further improve sample efficiency and generalisation.
Another interesting open-question is identifying conditions whereby such an algorithm can provably converge to Nash equilibrium in two-player zerosum settings. Finally, this work is limited to training only a single policy for each of the multi-agent UED approaches. Concurrent and continued training of several unique policies in underspecified multi-agent problems could be a generally fruitful research direction.
R EPRODUCIBILITY S TATEMENT
For our theoretical results, clear explanations of assumptions and complete proofs of the claims are presented in Appendix A. Both MultiCarRacing domain and the Griddly framework used for building the LaserTag game are open-sourced.
We provide thorough information about procedural generation of training environments as well as OOD hand-designed evaluation environments in Appendix C.
Our experimental setup, including model architectures and hyperparameters, is described in detail in Appendix D. This work builds on open-sourced repositories and we plan on releasing our code alongside the camera-ready version of the paper
A T HEORETICAL R ESULTS
It is useful to understand the long-term behaviour of M AESTRO if each student and teacher agent reaches optimality.
In this section, we will formally characterise this equilibrium behaviour, showing
M AESTRO achieves a Bayes-Nash equilibrium in a modified game, which we call the − i -knowing game, in which the other player has prior knowledge of the environment and can design their policy accordingly.
We will do this by first defining the − i -knowing game, showing that the policies the
M AESTRO student learns in equilibria represent Bayes-Nash equilibrium strategies in this game, and then specialising this result to a corollary focused on fully observable games where M AESTRO finds a Nash Equilibrium for all environments in support of the teacher distribution.
We will define the − i -knowing-game, given a UPOSG M , with a parameter distribution ˜ θ as
POSG constructed as a modification of the original game where the distribution over parameters is determined by ˜ θ , and the agents other than i know the true parameters of the world.
This simulates the setting where the co-player is a specialist for the particular environment, who has played the game many times.
More formally:
Definition 1.
The -i-knowing-game of an underspecified partially observable stochastic game
M = ( N, A = × i ∈
N A
i , O = × i ∈ N O i , Θ , R = ×
i ∈ N R i , S, I = ×
i ∈
N I
i , T ) with parameter distribution ˜ θ is defined to be the partially observable stochastic game K =
( N ′ =
N, A ′ i =
A i , O ′ i
= O i + { Θ if i ∈ − i } , R ′ i
=
R i , S ′ =
S, I ′ i
=
I i
+ { θ if ∈ − i } , T ′ =
T ( θ )) where θ is sampled from the distribution ˜ θ on the first time step.
That is, a POSG with the same set of players, action space, rewards, and states as the original UPOSG, but with θ sampled once at the beginning of time, fixed into the transition function and given to the agents − i as part of their observation.
We use U K ( π i ; π K − i ; ˜ θ ) to refer to the utility function in the -i-knowing game, which can be written in terms of the utility function of the original UPOSG as
[Equation]
where π K − i ( θ ) is the policy for players − i in the -i-knowing game conditioned on θ .
Given this definition, we can prove the main theorem, that the equilibrium behaviour of M AESTRO represents a
Bayes-Nash Equilibrium of this game.
Theorem 1.
In two-player zero-sum settings, the M AESTRO student at equilibrium implements a
Bayes-Nash Equilibrium of the − i -knowing game, over a regret-maximising distribution of levels.
Proof.
Let π i , ˜ θ
M be a pair which is in equilibrium in the M AESTRO game.
That is:
[Equation]
where π ∗ i is an optimal policy for player i given π − i
and θ , while ∆( S ) denotes the set of distributions over S.
Then we can define D Regret to be the marginal distribution over θ from samples θ, π − i ∼ ˜ θ M .
Define π K − i ( θ ) as the marginal distribution over π − i sampled from ˜ θ
M conditioned on θ for θ in the support of ˜ θ M and π − i a best response to θ and π i otherwise.
We will show that ( π i ; π K − i ) is a Bayes-Nash equilibrium on -i-knowing game of M with a regretmaximizing distribution over parameters D Regret .
We can show both of these by unwrapping and re-wrapping our definitions.
First to show π
[Equation]
Which is known by the definition of Nash-Equilibrium in the M AESTRO game, in Equation 3.
Similarly, we show that we have π K − i ∈ arg
[Equation]
The final line of which follows from the fact that π − i is a best-response
π i for each θ .
More concretely, this can be seen in Equation 4 by noting that θ and π − i conditioned on a specific θ can be independently optimised and holding θ fixed.
Using this theorem, we can also prove a natural and intuitive corollary for the case where the environment is fully observable:
Corollary 1.
In fully-observable two-player zero-sum settings, the M AESTRO student at equilibrium implements a Nash Equilibrium in each environment in the support of the environment distribution.
Proof.
From Theorem 1 we have:
[Equation]
However, since the world is fully observable, the policy π K − i can be made independent of the additional observation θ in the − i -knowing game since that can be inferred from the information already in the agent’s observations.
As such, π K − i can be interpreted as a policy in the original game, giving:
[Equation]
Moreover, since the environment is fully observable, π i can condition on θ , so for it to be optimal for the distribution, it must be optimal for each level in the support of the distribution.
Giving, for each θ be in the support of ˜ θ M :
[Equation]
Showing that π is a best-response to π K − i ( θ ) on θ .
The same arguments can be followed to show that π K − i ( θ ) is a best response to π on θ .
Since each policy is a best response to the other, they are in a
Nash Equilibrium as desired.
Thus, if M AESTRO reaches an equilibrium in a fully observable two-player zero-sum setting it behaves as expected by achieving a Nash Equilibrium in every environment in support of the curriculum distribution ˜ θ M .
B A BLATION S TUDY
We perform an ablation study to evaluate the effectiveness of co-player selection in M AESTRO from a population based on their per-environment regret scores, as described in Equation (1).
We consider different methods for selecting a co-player in M AESTRO (line 6 in Algorithm 1).
M AESTRO -R samples the co-player uniformly at random, whilst M AESTRO -P uses PFSP’s win rate heuristic for opponent prioritisation.
Figure 8 illustrates that M AESTRO outperforms both variants in terms of sample-efficiency and robustness.
55K # Student Updates 0.
C r o ssP l a y R e t u r n
LaserTag
MAESTRO MAESTRO-R 55K # Student Updates 0.
LaserTag
MAESTRO MAESTRO-P
C E NVIRONMENT D ETAILS
This section describes the environment-specific details used in our experiments.
For both LaserTag and MultiCarRacing, we outline the process of environment generation, present held-out evaluation environments, as well as other relevant information.
C. L ASER T AG
LaserTag is a two-player zero-sum grid-based game, where two agents aim to tag each other with a light beam under partial observability.
It is inspired by prior singleton variation used in (Lanctot et al., 2017; Leibo et al., 2017) and developed using the Griddly sandbox framework (Bamford et al., 2020; 2022).
LaserTag challenges the agent to master various sophisticated behaviour, such as chasing opponents, hiding behind walls, keeping clear of long corridors, maze solving, etc.
Each agent can only observe a 5 × 5 area of the grid in front of it.
The action space includes the following 5 actions: turn right, turn left, move forward, shoot, and no-op.
Upon tagging an opponent, an agent receives a reward of 1 , while the opponent receives a − 1 penalty, after which the episode is restarted.
If the episode terminates while the two agents are alive, neither of the agents receives any reward.
All environment variations (or levels) that are used to train agents are procedurally generated by an environment generator.
Firstly, the generator samples the size of the grid (from 5 × 5 to 15 × 15 ) and the percentage of the walls it is in (from 0% to 50% ) uniformly at random.
Then the generator samples random locations for the walls, followed by the locations and directions of the two agents.
Figure 2 illustrates some levels sampled from the level generator.
Note that the generator can generate levels where agents are unreachable.
Upon training the agents on randomly generated levels, we assess their robustness on previously unseen human-designed levels shown in Figure 9 against previously unseen agents.
For this environment, we recognise the agent with a higher episodic return as the winner of that episode.
C. M ULTI C AR R ACING
MultiCarRacing is a continuous control problem with dense rewards and pixel-based observations (Schwarting et al., 2021).
Each track consists of n tiles, with cars receiving a reward of 1000 /n or 500 /n , depending on if they reach the tile first or second respectively.
An additional penalty of − 0 .is applied at every timestep.
Episodes finish when all tiles have been driven over by at least one car.
If a car drives out of bounds of the map (rectangle area encompassing the track), the car "dies" and the episode is terminated.
Each agent receives a 96 × 96 × 3 image as observation at each timestep.
The action space consists of 3 simultaneous moves that change the gas, brakes, and steering direction of the car.
All tracks used to train student agents are procedurally generated by an environment generator, which was built on top of the original MultiCarRacing environment (Schwarting et al., 2021).
Each track consists of a closed loop around which the agents must drive a full lap.
In order to increase the expressiveness of the original MultiCarRacing, we reparameterized the tracks using Bézier curves.
In our experiments, each track consists of a Bézier curve based on 12 randomly sampled control points within a fixed radius of B/ 2 of the centre O of the playfield with B × B size.
[Figure]
For training, additional reward shaping was introduced similar to (Ma, 2019): an additional reward penalty of − 0 .
1 for driving on the grass, a penalty of − 0 .
5 for driving backwards, as well as an early termination if cars spent too much time on grass.
These are all used to help terminate less informative episodes.
We utilise a memory-less agent with a frame stacking = 4 and with sticky actions = 8 .
After training the agents on randomly generated tracks, we assess their robustness on previously unseen 20 real-world Formula One (F1) tracks designed to challenge professional racecar drivers proposed by (Jiang et al., 2021a) and shown in Figure 10.
Given the poor performance of random opponents on the MultiCarRacing domain, agents are added to co-player populations in M AESTRO as well as FSP- and PFSP-based baselines only after 400 PPO updates.
All baselines are trained using SP until that point.
D I MPLEMENTATION D ETAILS
In this section, we detail the agent architectures, hyperparameter choices, and evaluation procedures used in our experiments discussed in Section 4.
We use PPO to train the student agent in all experiments.
Table 2 summarises our final hyperparameter choices for all methods.
All experiments are performed on an internal cluster.
Each job (representing a seed) is performed with a single Tesla V100 GPU and 10 CPUs.
For each method, we train 10 LaserTag agents for approximately 7 days and 5 MultiCarRacing agents for approximately 15 days.
D. L ASER T AG
Agent Architecture: The student policy architecture is adapted from (Dennis et al., 2020; Jiang et al., 2021a).
Our model encodes the partial grid observation using a convolution layer ( 3 × 3 kernel, stride length 1 , 16 filters) followed by a ReLU activation layer over the flattened convolution outputs.
This is then passed through an LSTM with hidden dimension 256, followed by two fully-connected layers, each with a hidden dimension of size 32 with ReLU activations, to produce the action logits over the 5 possible actions.
The model does not receive the agent’s direction as input.
[Figure]
Evaluation Procedure: For each pair of methods in LaserTag, we evaluate cross-play performance across all 5 training seeds of each method (25 possible pair combinations) over 4 episodes on 11 test environments, resulting in a total of 1100 evaluation episodes per method pair.
Choice of Hyperparameters: Many of our hyperparameters are inherited from previous works such as (Dennis et al., 2020; Jiang et al., 2021b;a; Parker-Holder et al., 2022) with some small changes.
We selected the best performing settings based on the average return on the unseen validation levels against previously unseen opponents on at least 5 seeds.
We conducted a coarse grid search over student learning rate in { 5 ∗ 10 − 4 , 10 − 4 , 5 ∗ 10 − 5 , 10 − 5 } , number of minibatches per epoch in { 1 , 2 , 4 } , entropy coefficients in { 0 , 10 − 3 , 5 ∗ 10 − 3 } , and number of epochs in { 2 , 5 , 10 } .
For agent storage, we tested adding a copy of the student agent in the storage after every { 2000 , 4000 , 6000 , 8000 } student update.
For PFSP, we compute the win rate between agents in the last 128 episodes.
We further conducted a grid search over the entropy parameter of f hard in { 1 . 5 , 2 , 3 } and a smoothing constant which adds a small value to each probability in PFSP with { 0 . 1 , 0 . 2 } values so that, at all previous checkpointed agents have a nonzero probability to be replayed again.
For the parameters of PLR, we conducted a grid search over level replay rate p in { 0 . 5 , 0 . 9 } , buffer size in { 4000 , 8000 , 12000 } , staleness coefficient ρ in { 0 . 3 , 0 . 7 } , as well as the level replay score functions in {MaxMC, PVL} (see Appendix D.4 for information on score functions in PLR).
For M AESTRO , we evaluated the co-player exploration coefficients in { 0 . 05 , 0 . 1 } , and per-agent environment buffer sizes in { 500 , 1000 } .
D. M ULTI C AR R ACING
Agent Architecture: The student policy architecture is based on the PPO implementation in (Ma, 2019).
The model utilises an image embedding module consisting of a stack of 2D convolutions with square kernels of sizes 2 , 2 , 2 , 2 , 3 , 3 , channel outputs of 8 , 16 , 32 , 64 , 128 , 256 , and stride lengths of 2 , 2 , 2 , 2 , 1 , 1 respectively, resulting in an embedding of size 256 .
This is then passed through a fully-connected layer with a hidden size of 100 , followed by a ReLU nonlinearity.
Then, the output is fed through two separate fully-connected layers, each with a hidden size of 100 and an output dimension equal to the action dimension, followed by softplus activations.
We then add 1 to each component of these two output vectors, which serve as the α and β parameters respectively for the
Beta distributions used to sample each action dimension.
We normalize rewards by dividing rewards by the running standard deviation of returns so far encountered during the training.
Evaluation Procedure: For each pair of methods in MultiCarRacing, we evaluate cross-play performance between 5 training seeds of each method (random assignments between 5 pairs) overepisodes on 5 test environments, resulting in a total of 50 evaluation episodes per method pair.
Choice of Hyperparameters: Many of our hyperparameters are inherited from (Jiang et al., 2021a) with some small changes.
We conducted a limited grid search over student learning rate in { 10 − 4 , 3 ∗ 10 − 4 } , number of actors in { 16 , 32 } , PPO rollout length in { 125 , 256 } .
For agent storage, we tested adding a copy of the student agent in the storage after every { 200 , 400 } student update.
For PFSP, we compute the win rate between agents in the last 128 episodes, while recognising the agent with a higher episodic return as the winner.
For the parameters of PLR, we conducted a grid search over level buffer size in { 4000 , 6000 , 8000 } , staleness coefficient ρ in { 0 . 3 , 0 . 7 } , as well as the level replay prioritisation in {rank, proportional} (Jiang et al., 2021a).
For M AESTRO , we evaluated the co-player exploration coefficients in { 0 . 05 , 0 . 1 } , and per-agent environment buffer sizes in { 500 , 1000 } .
D. A LL H YPERPARAMETERS
Table 2 summarises our final hyperparameter choices for all methods.
D. R EGRET A PPROXIMATIONS
Jiang et al.
(2021a) proposes the following two score functions to approximate regret in PLR.
[Table]
Positive Value Loss (PVL) estimates the regret by computing the difference between maximum achieved return and predicted return on an episodic basis.
When GAE (Schulman et al., 2016) is used to estimate bootstrapped value targets, this loss takes the form of 1 T (cid:80) T t =0 max (cid:16) (cid:80)
T k = t ( γλ ) k − t δ k , 0 (cid:17) , where λ and γ are the GAE and MDP discount factors respectively
[Table]
and δ t , the TD-error at timestep t .
Maximum Monte Carlo (MaxMC) mitigates some of the bias of the PVL by replacing the value target with the highest empirical return observed on the given environment variation throughout training.
MaxMC ensures that the regret estimate does not depend on the agent’s current policy.
It takes the form of (1 /T )
(cid:80) Tt =
0 R max − V ( s t ) .
E F ULL R ESULTS E. M AESTRO VERSUS S PECIALISTS
Figures 11 and 12 show the cross-play performances between M AESTRO and specialist agents trained directly on the target environments for LaserTag and MultiCarRacing, respectively.
[Figure]
C r o ss - P l a y R e t u r n
Lasertag-Empty-N2-v  55K # Student Updates 0. Lasertag-Empty-N2-v  55K # Student Updates 1. 1.0 Lasertag-Empty-N2-v  55K # Student Updates 1. 1.0 Lasertag-Empty-N2-v 0 55K # Student Updates 0.
[Table] [Table]
Lasertag-Empty-N2-v 0 55K # Student Updates
[Table]
Lasertag-Empty-N2-v
[Table]
55K # Student Updates
[Table]
[Table] [Table] [Table] Lasertag-Empty
[Table]
N
[Table]
v  55K #
[Table]
Updates [Table] C r o ss - P l a y R e t u r n Lasertag-Corridor-Easy-N2-v  55K # Student Updates 0.
Lasertag-Corridor-Easy-N2-v  55K # Student Updates 1. 1.0 Lasertag-Corridor-Easy-N2-v 0 55K # Student Updates 1. 1.0 Lasertag-Corridor-Easy-N2-v 0 55K # Student Updates
[Table] [Table]
[Table]
N
[Table]
55K
[Table]
Updates
[Table]
[Table] [Table]
Lasertag
[Table]
Easy
[Figure] [Figure]
[Figure]
Figure 13 shows the mean return of M AESTRO against each of the baselines throughout training.
Figures 14 and 15 illustrate the minimum expected returns and round-robins returns between M AESTRO and other baselines throughout training on each held-out evaluation environment in LaserTag.and 17 show the minimum expected return and round-robin returns between M AESTRO and other baselines after the training.
E.2. M ULTI C AR R ACING C ROSS -P LAY
Figures 18 and 19 illustrate the min expected returns and round-robin returns between M AESTRO and other baselines on each track of the Formula 1 benchmark (Jiang et al., 2021a).
Figures 20 andshow the win rates and returns in a round robin tournament between M AESTRO after the training on Formula 1 benchmark.
[Figure] [Figure]
i n E x p e c t e d R e t u r n
[Figure]
[Table]
[Figure]
i n R
[Figure]
t
[Figure]
[Table]
n
[Table]
c
[Table]
n
[Table]
M i n E x p e c t e d R e t u r n
Lasertag-SixteenRooms 0.
M i n E x p e c t e d R e t u r n
Lasertag-Star 0.4 0.
M i n E x p e c t e d R e t u r n
Lasertag-Maze 0.5 0.
M i n E x p e c t e d R e t u r n
[Figure]
[Table]
R o un d - R o b i n R e t u r n
Lasertag-SixteenRooms 0.
R o un d - R o b i n R e t u r n
Lasertag-Star 0.15 0.
R o un d - R o b i n R e t u r n
Lasertag-Maze 0.25 0.
[Figure]
o un d - R o b i n R e t u r n
[Figure]
[Figure]
i n
[Figure]
x p e c t e d R e t u r n
[Figure]
[Figure]
[Figure]
[Figure]
n
[Figure]
r n
[Figure]
[Table]
i n R a t e
[Table]
l a
[Table]
i n
[Table]
t e
[Table]
C r o ss - P l a y W i n R a t e
MultiCarRacing-F1-Singapore-v 0.0 0.
C r o ss - P l a y W i n R a t e
MultiCarRacing-F1-Spain-v 0.0 0.
C r o ss - P l a y W i n R a t e
MultiCarRacing-F1-UK-
v 0.0 0.
C r o ss - P l a y W i n R a t e
[Figure]
[Figure]