Title: Adversarially Robust Decision Transformer
Venue: NeurIPS 2024
Accepted: yes
Keywords: Offline Reinforcement Learning

Reinforcement Learning via Supervised Learning

Decision Transformer

Robust Adversarial Reinforcement Learning
Abstract: Decision Transformer (DT), as one of the representative Reinforcement Learning via Supervised Learning (RvS) methods, has achieved strong performance in offline learning tasks by leveraging the powerful Transformer architecture for sequential decision-making. However, in adversarial environments, these methods can be non-robust, since the return is dependent on the strategies of both the decision-maker and adversary. Training a probabilistic model conditioned on observed return to predict action can fail to generalize, as the trajectories that achieve a return in the dataset might have done so due to a suboptimal behavior adversary. To address this, we propose a worst-case-aware RvS algorithm, the Adversarially Robust Decision Transformer (ARDT), which learns and conditions the policy on in-sample minimax returns-to-go. 
ARDT aligns the target return with the worst-case return learned through minimax expectile regression, thereby enhancing robustness against powerful test-time adversaries. In experiments conducted on sequential games with full data coverage, ARDT can generate a maximin (Nash Equilibrium) strategy, the solution with the largest adversarial robustness. In large-scale sequential games and continuous adversarial RL environments with partial data coverage, ARDT demonstrates significantly superior robustness to powerful test-time adversaries and attains higher worst-case returns compared to contemporary DT methods.

Adversarially Robust Decision Transformer

Abstract

Decision Transformer (DT), as one of the representative Reinforcement Learning via Supervised Learning (RvS) methods, has achieved strong performance in offline learning tasks by leveraging the powerful Transformer architecture for sequential decision-making. However, in adversarial environments, these methods can be non-robust, since the return is dependent on the strategies of both the decisionmaker and adversary. Training a probabilistic model conditioned on observed return to predict action can fail to generalize, as the trajectories that achieve a return in the dataset might have done so due to a suboptimal behavior adversary. To address this, we propose a worst-case-aware RvS algorithm, the Adversarially Robust Decision Transformer (ARDT), which learns and conditions the policy on in-sample minimax returns-to-go. ARDT aligns the target return with the worst-case return learned through minimax expectile regression, thereby enhancing robustness against powerful test-time adversaries. In experiments conducted on sequential games with full data coverage, ARDT can generate a maximin (Nash Equilibrium) strategy, the solution with the largest adversarial robustness. In large-scale sequential games and continuous adversarial RL environments with partial data coverage, ARDT demonstrates significantly superior robustness to powerful test-time adversaries and attains higher worst-case returns compared to contemporary DT methods.

1 Introduction

Reinforcement Learning via Supervised Learning (RvS) [8], has garnered attention within the domain of offline Reinforcement Learning (RL). Framing RL as a problem of outcome-conditioned sequence modeling, these methodologies have showcased strong performance in offline benchmark tasks [50, 53, 13, 37, 17]. One of the representative RvS methods is Decision Transformer (DT) [2], which simply trains a policy conditioned on target return via behavior cloning loss. Given the apparent efficacy and simplicity of RvS, our attention is drawn to exploring its performance in adversarial settings. In this paper, we aim to use RvS to achieve adversarial robustness , a critical capability for RL agents to manage environmental variations and adversarial disturbances [34, 42, 14, 46, 5, 36]. Such challenges are prevalent in real-world scenarios, e.g., changes in road conditions and decision-making among multiple autonomous vehicles.

In offline RL with adversarial actions, the naive training of action-prediction models conditioned on the history and observed returns such as DT, or expected returns such as ESPER and DoC [32, 54, 53], which we refer to as Expected Return-Conditioned DT (ERC-DT), may result in a non-robust policy.

Algorithms

Policy (

ˆ

R

= 6

):

P

(

a

0

)

,

P

(

a

1

)

DT

0.54, 0.46

ERC-DT

0.9998, 0.0002

ARDT (ours)

0.0006, 0.9994

Algorithms

Expected Worst-case Return

DT

0.46

ERC-DT

0.0002

ARDT (ours)

0.9994

P

ao

a1

A

A

0p

a1

a2

Ep

a4

as

0

4

6

6

1

2

This issue arises from the potential distributional shifts in the policy of the adversary during offline learning. Specifically, if the behavior policies used for data collection are suboptimal, a well-trained conditional policy overfitted to the training dataset may fail to achieve the desired target return during testing, if the adversary's policy at test time has changed or become more effective.

We illustrate this using a sequential game with data collected by a uniform random policy with full coverage shown in Figure 1. The standard RvS methods (DT and ERC-DT) when conditioned on high target return, show poor worst-case performance. DT's failure stems from training data containing the sequences ( a 0 , ¯ a 2 ) and ( a 1 , ¯ a 3 ) , inaccurately indicating both actions a 0 and a 1 as optimal. ERC-DT missteps because the adversary's uniform random policy skews the expected return in favor of a 0 over a 1 , wrongly favoring a 0 . A robust strategy, however, exclusively selects a 1 against an optimal adversary to guarantee a high reward. Moreover, in more complex multi-decision scenarios, the adversarial strategy should not only minimize but also counterbalance with maximized returns by the decisionmaker at the subsequent state, aligning with a minimax return approach for robust policy development.

Main Contributions. Consequently, there is a need for data curation to indicate the potential worstcase returns associated with each action in the Decision Transformer (DT), improving the robustness against adversarial actions. Building on this concept, we introduce the first robust training algorithm for Decision Transformer, the Adversarially Robust Decision Transformer (ARDT) . To the best of our knowledge, this paper represents the first exploration of the robustness of RvS methods from an adversarial perspective. In ARDT, we leverage Expectile Regression [29, 1] to transform the original returns-to-go to in-sample minimax returns-to-go, and train DT with the relabeled returns. In the experiments, we illustrate the robustness of ARDT in three settings (i) Games with full data coverage (ii) A long-horizon discrete game with partial data coverage (iii) Realistic continuous adversarial RL problems. We provide evidence showcasing the robustness of ARDT to more powerful adversary compared to the behavior policy and the distributional shifts of the adversary's policy in the test time. Furthermore, in the adversarial MuJoCo tasks, namely Noisy Action Robust MDP [42], ARDT exhibits better robustness to a population of adversarial perturbations compared to existing DT methods.

Related work. Reinforcement Learning via Supervised Learning is a promising direction for solving general offline RL problems by converting the RL problem into the outcome-conditioned prediction problem [17, 37, 10, 31, 8]. Decision Transformer (DT) is one of the RvS instance [2, 15], leveraging the strength of the sequence model Transformer [45]. The variants of DT have been extensively investigated to address the trajectory stitching [50, 53], stochasticity [31, 30, 32, 54], goal-conditioned problems [9], and generalization in different environments [26, 51, 21, 52]. For different problems, it is critical to select an appropriate target as the condition of the policy. Q -Learning DT [53] relabels the trajectories with the estimated Q -values learned to achieve trajectory stitching [18]. ESPER [32], aims at solving the environmental stochasticity via relabeling the trajectories with expected returns-to-go. Although our method also transform the returns-to-go to

estimated values, we instead associate worst-case returns-to-go with trajectories, aiming at improving its robustness against adversarial perturbations.

Adversarial RL can be framed as a sequential game; with online game-solving explored extensively in literature [19, 11, 40, 24, 20, 39, 38, 41]. In the offline setting, where there is no interaction with the environment, solving games is challenging due to distributional shifts in the adversary's policy, necessitating adequate data coverage. Tabular methods, such as Nash Q -Learning-a decades-old approach for decision-making in competitive games [12]-and other similar methods [4, 56] address these challenges through pessimistic out-of-sample estimation. While value-based methods are viable for addressing adversarial problems, our focus is on enhancing the robustness of RvS methods in these settings. Note that while some offline multi-agent RL methods, including DT-based approaches, are designed for cooperative games [26, 48, 44, 47], our research is oriented towards competitive games.

2 Problem Setup

We consider the adversarial reinforcement learning problem involving a protagonist and an adversary, as described by Pinto et al. [34]. This setting is rooted in the two-player Zero-Sum Markov Game framework [23, 33]. This game is formally defined by the tuple ( S , A , ¯ A , T, R, p 0 ) . Here, S represents the state space, where A and ¯ A denote the action spaces for the protagonist and adversary, respectively. The reward function R : S × A × ¯ A → R and the transition kernel T : S × A × ¯ A → ∆( S ) depend on the state and the joint actions of both players. The initial state distribution is denoted by p 0 . At each time-step t ≤ H , both players observe the state s t ∈ S and take actions a t ∈ A and ¯ a t ∈ ¯ A . The adversary is considered adaptive if its action ¯ a t depends on s t and a t . The protagonist receives a reward r t = R ( s t , a t , ¯ a t ) , while the adversary receives a negative reward -r t .

Denote trajectory τ = ( s t , a t , ¯ a t , r t ) H t =0 and its sub-trajectory τ i : j = ( s t , a t , ¯ a t , r t ) j t = i for 0 ≤ i ≤ j ≤ H . The return-to-go refers to the sum of observed rewards from state s t onwards: ̂ R ( τ t : H ) = ∑ H t ′ = t r t ′ . The protagonist policy π and the adversary policy ¯ π can be history-dependent, mapping history ( τ 0: t -1 , s t ) to the distribution over protagonist and adversary's actions, respectively.

In offline RL, direct interaction with the environment is unavailable. Instead, we rely on an offline dataset D , which consists of trajectories generated by executing a pair of behavioral policies, ( π D , ¯ π D ) . Our objective in this adversarial offline RL setting is to utilize this dataset D to learn a protagonist policy that seeks to maximize the return, while being counteracted by an adversary's policy ¯ π :

where ρ π, ¯ π ( τ ) = p 0 ( s 0 ) · ∏ t π ( a t | τ 0: t -1 , s t ) · ¯ π (¯ a t | τ 0: t -1 , s t , a t ) · T ( s t +1 | s t , a t , ¯ a t ) . The maximin solution to this problem and its corresponding optimal adversary are denoted as π ∗ and ¯ π ∗ , respectively.

2.1 RvS in Adversarial Environments

We extend the RvS framework by incorporating adversarial settings within the Hindsight Information Matching (HIM) paradigm [9]. In adversarial HIM, the protagonist receives a goal (denoted by z ) and acts within an adversarial environment. The protagonist's performance is evaluated based on how well it achieves the presented goal. Mathematically, the protagonist aims to minimize a distance metric D ( · , · ) between the target goal z and the information function I ( · ) applied to a trajectory τ . This sub-trajectory follows a distribution ρ dependent on both the protagonist's policy π z = π ( a t | τ 0: t -1 , s t , z ) and the test-time adversarial policy ¯ π test. Formally, the information distance is minimized as follows:

where ρ π z , ¯ π test represents the trajectory distribution obtained by executing rollouts in a Markov Game with the protagonist's policy π z and the test-time adversarial policy ¯ π test. Under HIM framework, Decision Transformer [2] uses adopt return-to-go value as the information function, while ESPER [32] employs the expected return-to-go. The well-trained RvS policy, including DT and ESPER, is derived

from behavior trajectories filtered based on the condition I ( τ ) = z :

If the conditional policy ensures that the information distance in Eq. (2) is minimized to 0 , the generated policy π z is robust against ¯ π test by simply conditioning on a large target return, or even the maximin optimal protagonist π ∗ = lim z → + ∞ π z if the test-time adversary is optimal. Consequently, our objective shifts from learning a maximin policy in Eq. (1) to minimizing the distance in Eq. (2).

For a given target goal z , the trajectories where the information function I ( τ ) = z can be considered as optimal demonstrations of achieving that goal, i.e. information distance minimization, D ( I ( τ ) , z ) = 0 . However, in adversarial environments, this information distance is hard to be minimized to 0 . In adversarial offline RL, a trajectory in the dataset might achieve a goal due to the presence of a weak behavior adversary, rather than through the protagonist's effective actions. Filtering datasets for trajectories with high return-to-go could select the ones from encounters with suboptimal adversaries. Consequently, an agent trained through behavioral cloning on these trajectories is not guaranteed to achieve a high return when facing a different and powerful adversary at test time. We show this formally through a theorem:

Theorem 1. Let π D and ¯ π D be the data collecting policies used to gather data for training an RvS protagonist policy π . Assume T ( s t +1 | s t , a t , ¯ a t ) = ρ π D , ¯ π D ( s t +1 | τ 0: t -1 , s t , a t , ¯ a t , I ( τ ) = z ) 2 , for any goal z such that ρ π D , ¯ π D ( I ( τ ) = z | s 0 ) > 0 , the information distance can be minimized: E τ ∼ ρ πz, ¯ π test [ D ( I ( τ t ) , z )] = 0 if ¯ π test (¯ a t | τ 0: t -1 , s t , a t ) = ρ π D , ¯ π D (¯ a t | τ 0: t -1 , s t , a t , I ( τ ) = z ) .

Theorem 1 suggests that the protagonist policy π z , defined in Eq. (3), can minimize the information distance when the test-time adversarial policy is ¯ π test = ρ π D , ¯ π D (¯ a t | τ 0: t -1 , s t , a t , I ( τ ) = z ) . In other words, π z , conditioned on a large target return, is guaranteed to be robust against ρ π D , ¯ π D (¯ a t | τ 0: t -1 , s t , a t , I ( τ ) = z ) . Consequently, the policies of DT and ESPER are only guaranteed to perform well against behavior adversarial policies and will be vulnerable to powerful test-time adversaries since their information function is dependent on behavior adversary. This is a concern because, in practice, offline RL datasets are often collected in settings with weak or suboptimal adversaries.

In this context, to enhance robustness, we consider using an information function I ( τ ) to train the protagonist policy π z by simulating the worst-case scenarios we might encounter during test time. A natural choice for I ( τ ) is the minimax return-to-go , which we formally introduce in Section 3 and use as a central component of our method. With this I ( τ ) and sufficient data coverage, ρ π D , ¯ π D (¯ a t | τ 0: t -1 , s t , a t , I ( τ ) = z ) can be approximated to the optimal adversarial policy, implying that π z is robust against the optimal adversary. Furthermore, even without sufficient data coverage, π z remains more robust compared to previous DT methods, which tend to overfit to the behavior adversarial policy.

3 Adversarially Robust Decision Transformer

To tackle the problem of suboptimal adversarial behavior in the dataset, we propose Adversarially Robust Decision Transformer (ARDT) , a worst-case-aware RvS algorithm. In ARDT, the information function is defined as the expected minimax return-to-go:

Intuitively, this information function represents the expected return when an adversary aims to minimize the value, while the protagonist subsequently seeks to maximize it. To train a protagonist policy as described in Eq. (3), ARDT first relabels the trajectory with the minimax returns-to-go in Eq. (4). Secondly, the protagonist policy is then trained similarly to a standard Decision Transformer (DT). This two-step overview of ARDT is provided in Figure 2, where the left block includes the minimax return estimation with expectile regression for trajectory relabeling, and the right block represents the DT training conditioned on the relabeled returns-to-go.

....

......

...

...

Minimax Expectile Regression:

...

Transformer Training

....

......

We relabel the trajectories in our dataset with the worst-case returns-to-go by considering the optimal in-sample adversarial actions. In practice, we approximate the proposed information function using an (in-sample) minimax returns-to-go predictor, denoted by ˜ Q . We simplify the notation of the appearance of actions in the dataset a t ∈ A : π D ( a t | τ 0: t -1 , s t ) > 0 and ¯ a t ∈ ¯ A : ¯ π D (¯ a t | τ 0: t -1 , s t , a t ) > 0 to a t ∈ D and ¯ a t ∈ D , respectively. The optimal predictor ˜ Q ∗ is a history-dependent state-action value function satisfying the following condition that at any time t = 1 , · · · , T :

We adopt Expectile Regression (ER) [29, 1] to approximate ˜ Q . This choice is particularly advantageous for RL applications because it helps avoid out-of-sample estimation or the need to query actions to approximate the minimum or maximum return [16]. Specifically, the loss function for ER is a weighted mean squared error (MSE):

Suppose a random variable y follows a conditional distribution y ∼ ρ ( ·| x ) , function g α ( x ) := arg min g ( x ) L α ER ( g ( x ) -h ( x, y )) can serve as an approximate minimum or maximum operator for the function h ( x, y ) over all possible value of y , i.e.,

Our algorithm uses coupled losses for maximum and minimum operators to approximate the in-sample minimax returns-to-go. Formally, given an offline dataset D , we alternately update the minimax and maximin returns-to-go estimators: ˜ Q ν ( s, a ) and Q ω ( s, a, ¯ a ) . In each iteration, we fix ω (or ν ), denoted as ̂ ω (or ̂ ν ), and then update ν (or ω ) based on the following loss functions:

The minimizers ( ν ∗ and ω ∗ ) of the two losses mentioned above (with α → 0 ), combined with Eq. (7), satisfy the following condition for all s t , a t , ¯ a t ∈ D :

By substituting Eq. (11) into Eq. (10), the minimax returns-to-go predictor ˜ Q ν ∗ satisfies Eq. (5).

The formal algorithm of ARDT is presented in Algorithm 1, where from line 3-6 is the minimax return estimation diagrammed as the left block in Figure 2, and line 7-10 is the Transformer training on

Algorithm 1 Adversarially Robust Decision Transformer (ARDT)

1: Inputs and hyperparameters: offline dataset D containing collection of trajectories; α = 0 . 01 2: Initialization: Initialize the parameters ω and ν for in-sample returns-to-go networks Q ω and ˜ Q ν with the original returns-to-go, and parameter θ of the protagonist policy π θ . // expectile regression updates for in-sample returns-to-go networks 3: for iteration k = 0 , 1 , · · · do 4: for trajectory τ ∈ D do // update ω while keeping ν fixed 5: ω ← ω -∇ ω ℓ 1 -α ( ω ) , where ℓ 1 -α ( ω ) is given in (9). // update ν while keeping ω fixed 6: ν ← ν -∇ ν ℓ α ( ν ) , where ℓ α ( ν ) is given in (8). // relabeling dataset D using in-sample returns-to-go 7: Create D worst = { τ = ( · · · , ˜ R t -1 , s t -1 , a t -1 , ˜ R t , s t , a t , · · · ) | τ ∈ D , ˜ R t = ˜ Q ν ( s t , a t ) } // protagonist policy update 8: L ( θ ) = -∑ τ ∈D worst ∑ t log π θ ( a t | τ 0: t -1 , s t , ˜ R t ) 9: for iteration k = 0 , 1 , · · · do 10: θ ← θ -∇ θ L ( θ ) 11: Output: Policy π θ

the right of Figure 2. Initially, we warm up two returns-to-go networks with the original returns-to-go values from the dataset. This step ensures the value function converges to the expected values, facilitating faster maximin value estimation and guaranteeing accurate value function approximation at terminal states. Subsequently, we estimate the minimax returns-to-go by alternately updating the parameters of the two networks based on the expectile regression losses in Eq. (9) and Eq. (8). Once the minimax expectile regression converges, we replace the original returns-to-go values in the trajectories with the values predicted by ˜ Q ν . Finally, we train the Decision Transformer (DT) conditioned on the states and relabeled returns-to-go to predict the protagonist's actions. Then the ARDTprotagonist policy is ready to be deployed for evaluation in the adversarial environment directly.

4 Experiments

In this section, we conduct experiments to examine the robustness of our algorithm, Adversarially Robust Decision Transformer (ARDT), in three settings: (i) Short-horizon sequential games, where the offline dataset has full coverage and the test-time adversary is optimal (Section 4.1), (ii) A long-horizon sequential game, Connect Four, where the offline dataset has only partial coverage and the distributional-shifted test-time adversary (Section 4.2), and (iii) The standard continuous Mujoco tasks in the adversarial setting and a population of test-time adversaries (Section 4.3). We compare our algorithm with baselines including Decision Transformer and ESPER. The implementation details are in Appendix C. Notably, since the rewards and states tokens encompass sufficient information about the adversary's actions, all DT models are implemented not conditioned on the past adversarial tokens to reduce the computational cost.

4.1 Full Data Coverage Setting

The efficacy of our solution is first evaluated on three short-horizon sequential games with adaptive adversary: (1) a single-stage game, (2) an adversarial, single-stage bandit environment depicting a Gambling round [32], and (3) a multi-stage game. These are depicted in Figure 1, Figure 7, and Figure 9, respectively. The collected data consists of 10 5 trajectories, encompassing all possible trajectories. The online policies for data collection employed by the protagonist and adversary were both uniformly random.

Figure 3 illustrates the efficacy of ARDT in comparison to vanilla DT and ESPER. Across all three environments, ARDT achieves the return of maximin (Nash Equilibrium) against the optimal adversary, when conditioned on a large target return. As illustrated in Figure 1, ARDT is aware of the worst-case return associated with each action it can take due to learning to condition on the relabeled

0

2

4

6

8

10

Target Return

1.0

0.5

0.0

Worst-case Return

Single-stage Game

-3

-1

1

3

5

Target Return

-7

-3

1

5

Gambling

Nash Equilibrium

DT

ARDT (ours)

0

3

7

10

Target Return

5

2.5

0.0

Multi-stage Game

ARDT

DT

0.2

0.0

-0.2

Average Return

Protagonist: 30%

Adv: 10%

Adv: 30%

Adv: 50%

ARDT

DT

0.4

0.0

-0.4

Protagonist: 40%

ARDT

DT

0.4

0.0

-0.4

Protagonist: 50%

minimax returns-to-go, and successfully takes robust action a 1 . In single-stage game (Figure 3), ESPER is vulnerable to the adversarial perturbations, and DT fails to generate robust policy when conditioned on large target return. While, it is worth noting that DT has achieved worst-case return 1 when conditioning on target returns around 1 . This imposes the question: Can we learn the robust policy by simply conditioning on the largest worst-case return in testing with vanilla DT training?

We show via the Gambling environment in Figure 3 that vanilla DT can still fail even conditioning on the largest worst-case return . In this environment, the worst-case returns of three protagonist actions are -15 , -6 and 1 . At the target return 1 , DT is unable to consistently reach a mean return of 1 . Similar to DT in the single-stage game, it tends to assign equal likelihood to a 1 and a 2 to reach return 1 , leading to a drop of performance to less than 1 under adversarial perturbations. Therefore, simply conditioning on the robust return-to-go in testing is insufficient to generate robust policy with vanilla DT. Moreover, as the target return approaches 5 , DT's performance drops more since DT tends to choose a 0 more often to hopefully achieve a return of 5 , but instead get negative return against the adversarial perturbations.

Conversely, ARDT's policy is robust since it is trained with worst-case returns-to-go. ESPER also performs well in Gambling due to that in this game the robust action is also the one with the largest expected return (Figure 9). ARDT also attains the highest return in a multi-stage game when conditioned on large target return, while other two algorithms fail. Consequently, in the context of full data coverage and an adaptive adversary, ARDT is capable of approximating the maximin (Nash Equilibrium) robust policy against the optimal adversarial policy, whereas DT is unable to do so.

4.2 Discrete Game with Partial Data Coverage

Connect Four is a discrete sequential two-player game with deterministic dynamics [32], which can also be viewed as a decision-making problem when facing an adaptive adversary. There is no

0.01

0.05

0.1

0.2

Test-time Noise Weight

2500

2000

1500

1000

500

Worst-case Return

Halfcheetah

DT

ARDT

0.01

0.05

0.1

0.2

Test-time Noise Weight

900

600

300

0

Worst-case Return

Hopper

DT

ARDT

0.5

0.7

1.0

1.5

2.0

Relative Mass

200

400

600

800

1000

1200

Average Return

Hopper

DT

ARDT

intermediate reward; rather, there is a terminal reward of either -1 , 0 , or 1 , meaning lose, tie or win for the first-moving player, respectively. Therefore we fix the target return in Connect Four as 1 . We fix the protagonist to be the first-move player. This game has a maximum horizon of 22 steps. Since we have a solver of this game, we manage to collect the data with ϵ -greedy policy. We define the optimality of an ϵ -greedy policy of protagonist or adversary as (1 -ϵ ) · 100% . Each dataset includes a total of 10 6 number of steps for variable-length trajectories.

The results of training ARDT and DT on suboptimal datasets are presented in Figure 4. To demonstrate the stitching ability of the two methods, datasets collected by suboptimal protagonist and adversarial policies were chosen, namely at 30% , 40% and 50% optimality for the protagonist and 10% , 30% , 50% optimality for the adversary. The figures show that ARDT outperforms DT learning from suboptimal datasets, and more clearly so when tested against more powerful adversaries than the behavior adversary.

We hypothesise that one important factor accounting for the negative returns of DT in the setting in 4 may be the lack of long, winning trajectories in the dataset. To exclude this factor, in Table 1 we mix near-random and near-optimal datasets for training, and test our algorithms against different levels of adversary. Compared to ESPER and DT, ARDT still significantly outperforms DT, which suggests that even in the presence of trajectories with high returns in the data, training DT with original returns-to-go in this setting will limit its ability to extract a powerful and robust policy. In addition, the results show that ESPER outperforms DT, indicating relabeling trajectories with expected return can help the extracted policy be robust to distributionaly-shifted and more powerful test-time adversarial policies. ESPER conditioned on the expected return generates policy overfitted to the behavioral adversarial policy, which can fail under distributional shift. However, ARDT as a worst-case-aware algorithm, can achieve greater robustness at test time.

Therefore, in discrete environment with partial data coverage and adaptive adversary, ARDT is more robust to distributional shift and a more powerful test-time adversary.

4.3 Continuous Adversarial Environments

In this section, we test the algorithms on a specific instance of Adversarial Reinforcement Learning problems, namely Noisy Action Robust MDP (NR-MDP), which was introduced by Tessler et al. [42]. This includes three continuous control problems of OpenAI Gym MuJoCo, Hopper, Walker2D and

Halfcheetah [43] involving the adversarial action noise. In NR-MDP, the protagonist and adversary act jointly. Specifically, they exact a total force over one or more parts of the body of the agent in a Mujoco environment, corresponding to the weighted sum of their individual forces (adversary's weight δ ). Despite no longer being in the discrete setting, the return minimax expectile regression in ARDT is implemented with the raw continuous states and actions input, without any discretization.

To collect the data, we first trained Action Robust Reinforcement Learning (ARRL) online policies on NR-MDP tasks [42] to create the online protagonist policy and adversary policy for evaluation. Subsequently, the pre-collected data consist of the replayed trajectories removing the ones with low cumulative rewards. We collect the suboptimal trajectories with the ϵ -greedy of the saved ARRL agents, i.e. online protagonist and adversary policies. We then mix them with the pre-collected datasets to create the final training datasets. The proportion of random trajectories to pre-collected trajectories are 0 . 01 : 1 , 0 . 1 : 1 and 1 : 1 , respectively, for datasets categorised as being low, medium, and high randomness. At test time, we evaluate each of our trained ARDT protagonist policies against a population of 8 adversarial online policies, each across 5 seeds. We sweep over the same set of target returns for all algorithms, and pick the best results.

As shown in Table 4, ARDT has overall better worst-case performance than DT and ESPER. In Hopper, ARDT has significantly higher worst-case return than both ESPER and DT. In Halfcheetah, ARDThas significantly higher worst-case return than DT and competitive results with ESPER. This is despite the much lower data coverage than in the previous settings due to the continuous environment. Low data coverage is in theory a greater limitation for ARDT given that it attempts to learn a single best worst-case outcome, rather than an expectation over outcomes. Even so, our proposed solution outperforms the baselines in most settings across all three environments. In addition, ARDT also has better performance when varying the adversary's weight δ and relative mass (Figure 5), implying the robustness of ARDT to test-time environmental changes. Therefore, in the context of a continuous state and action space, and when facing a diverse population of adversaries or environmental changes, ARDT trained with minimax returns-to-go can still achieve superior robustness than our baselines.

4.4 Ablation Study

Finally, we offer abalation study on the expectile level α in discrete environments. Specifically, we varied α for relabeling in Single-stage Game, Multi-stage Game and Connect Four. Then we tested against the optimal adversary in the first two environments and an ϵ -greedy adversary ( ϵ = 0 . 5 ) for the third environment.

According to the first two environments, we can confirm a pattern consistent with our theory that smaller alpha leads to more robustness. According to the Equation (6)-(9) in the paper, it should

0

2

4

6

8

10

Target Return

1.0

0.5

0.0

Average Return

Single-stage Game: Worst-case Adv.

0

3

7

10

Target Return

5

2.5

0.0

Multi-stage Game: Worst-case Adv.

ARDT (

=0.3)

ARDT (

=0.2)

ARDT (

=0.1)

ARDT (

=0.05)

ARDT (

=0.01)

0.3

0.2

0.1

0.05

0.01

Expectile Level

-0.2

0.1

0.35

0.6

Connect Four:

-greedy Adv.

DT

be that when the α is closer to 0, our estimate of minimax return is more accurate, and thus our algorithm is more robust. When the alpha is increased to 0.5, our method is converted to ExpectedReturn-Conditioned Decision Transformer (e.g. ESPER) since the expectile loss in this case reduces to Mean Square Error. This can be confirmed by comparing the results of Single-stage game and Multi-stage game in Figure 6 and 3.

In the third environment, Connect Four, the performance initially increases as decreases, but eventually drops. This is due to the weak stochastic adversary. When the value is too small, the algorithm becomes overly conservative. However, ARDT still outperforms DT significantly. Additionally, it also implies that we can tune the parameter alpha to adjust the level of conservativeness

5 Conclusions and Limitations

This paper introduces a worst-case-aware training algorithm designed to improve the adversarial robustness of the Decision Transformer, namely Adversarially Robust Decision Transformer (ARDT). By relabeling trajectories with the estimated in-sample minimax returns-to-go through expectile regression, our algorithm is demonstrated to be robust against adversaries more powerful than the behavior ones, which existing DT methods cannot achieve. In experiments, our method consistently exhibits superior worst-case performance against adversarial attacks in both gaming environments and continuous control settings.

Limitations. In our experiments, our practical algorithm estimates the minimax returns-to-go without accounting for stochasticity, as the transitions in all tested environments, as well as many real-world game settings, are deterministic when conditioned on the actions of both players. Future work should explore both stochastic and adversarial environments to further evaluate the performance of our proposed solution.

Broader Impact. Adversarial RvS holds potential for improving the robustness and security of autonomous agents in dynamic and potentially hostile environments. By training agents to withstand adversarial actions and unpredictable conditions, our work can improve the reliability and safety of technologies such as autonomous vehicles, cybersecurity defense systems, and robotic operations.

6 Acknowledgments

Ilija Bogunovic was supported by the EPSRC New Investigator Award EP/X03917X/1; the Engineering and Physical Sciences Research Council EP/S021566/1; and Google Research Scholar award. Xiaohang Tang was supported by the Engineering and Physical Sciences Research Council [grant number EP/T517793/1, EP/W524335/1]. The authors would like to thank the Department of Statistical Science, in particular Chakkapas Visavakul, for co-ordinating the computer resources, and the Department of Electronic and Electrical Engineering, and Department of Computer Science at University College London for providing the computer clusters.

References

Dennis J Aigner, Takeshi Amemiya, and Dale J Poirier. On the estimation of production frontiers: maximum likelihood estimation of the parameters of a discontinuous density function. International economic review , pages 377-396, 1976.

Lili Chen, Kevin Lu, Aravind Rajeswaran, Kimin Lee, Aditya Grover, Misha Laskin, Pieter Abbeel, Aravind Srinivas, and Igor Mordatch. Decision transformer: Reinforcement learning via sequence modeling. Advances in neural information processing systems , 34:15084-15097, 2021.

Ching-An Cheng, Tengyang Xie, Nan Jiang, and Alekh Agarwal. Adversarially trained actor critic for offline reinforcement learning. In International Conference on Machine Learning , pages 3852-3878. PMLR, 2022.

Qiwen Cui and Simon S Du. When are offline two-player zero-sum markov games solvable? Advances in Neural Information Processing Systems , 35:25779-25791, 2022.

Sebastian Curi, Ilija Bogunovic, and Andreas Krause. Combining pessimism with optimism for robust and efficient model-based deep reinforcement learning. In International Conference on Machine Learning , pages 2254-2264. PMLR, 2021.

Jonas Degrave, Federico Felici, Jonas Buchli, Michael Neunert, Brendan Tracey, Francesco Carpanese, Timo Ewalds, Roland Hafner, Abbas Abdolmaleki, Diego de Las Casas, et al. Magnetic control of tokamak plasmas through deep reinforcement learning. Nature , 602(7897): 414-419, 2022.

Juncheng Dong, Hao-Lun Hsu, Qitong Gao, Vahid Tarokh, and Miroslav Pajic. Robust reinforcement learning through efficient adversarial herding. arXiv preprint arXiv:2306.07408 , 2023.

Scott Emmons, Benjamin Eysenbach, Ilya Kostrikov, and Sergey Levine. Rvs: What is essential for offline rl via supervised learning? arXiv preprint arXiv:2112.10751 , 2021.

Hiroki Furuta, Yutaka Matsuo, and Shixiang Shane Gu. Generalized decision transformer for offline hindsight information matching. arXiv preprint arXiv:2111.10364 , 2021.

Dibya Ghosh, Abhishek Gupta, Ashwin Reddy, Justin Fu, Coline Devin, Benjamin Eysenbach, and Sergey Levine. Learning to reach goals via iterated supervised learning. arXiv preprint arXiv:1912.06088 , 2019.

Johannes Heinrich, Marc Lanctot, and David Silver. Fictitious self-play in extensive-form games. In International conference on machine learning , pages 805-813. PMLR, 2015.

Junling Hu and Michael P Wellman. Nash q-learning for general-sum stochastic games. Journal of machine learning research , 4(Nov):1039-1069, 2003.

Michael Janner, Qiyang Li, and Sergey Levine. Offline reinforcement learning as one big sequence modeling problem. In Advances in Neural Information Processing Systems , 2021.

Parameswaran Kamalaruban, Yu-Ting Huang, Ya-Ping Hsieh, Paul Rolland, Cheng Shi, and Volkan Cevher. Robust reinforcement learning via adversarial training with langevin dynamics. Advances in Neural Information Processing Systems , 33:8127-8138, 2020.

Jeonghye Kim, Suyoung Lee, Woojun Kim, and Youngchul Sung. Decision convformer: Local filtering in metaformer is sufficient for decision making. arXiv preprint arXiv:2310.03022 , 2023.

Ilya Kostrikov, Ashvin Nair, and Sergey Levine. Offline reinforcement learning with implicit q-learning. arXiv preprint arXiv:2110.06169 , 2021.

Aviral Kumar, Xue Bin Peng, and Sergey Levine. Reward-conditioned policies. arXiv preprint arXiv:1912.13465 , 2019.

Aviral Kumar, Aurick Zhou, George Tucker, and Sergey Levine. Conservative q-learning for offline reinforcement learning. Advances in Neural Information Processing Systems , 33: 1179-1191, 2020.

Marc Lanctot, Kevin Waugh, Martin Zinkevich, and Michael Bowling. Monte carlo sampling for regret minimization in extensive games. Advances in neural information processing systems , 22, 2009.

Marc Lanctot, Vinicius Zambaldi, Audrunas Gruslys, Angeliki Lazaridou, Karl Tuyls, Julien Pérolat, David Silver, and Thore Graepel. A unified game-theoretic approach to multiagent reinforcement learning. Advances in neural information processing systems , 30, 2017.

Kuang-Huei Lee, Ofir Nachum, Mengjiao Sherry Yang, Lisa Lee, Daniel Freeman, Sergio Guadarrama, Ian Fischer, Winnie Xu, Eric Jang, Henryk Michalewski, et al. Multi-game decision transformers. Advances in Neural Information Processing Systems , 35:27921-27936, 2022.

Anqi Li, Dipendra Misra, Andrey Kolobov, and Ching-An Cheng. Survival instinct in offline reinforcement learning. Advances in neural information processing systems , 36, 2024.

Michael L Littman. Markov games as a framework for multi-agent reinforcement learning. In Machine learning proceedings 1994 , pages 157-163. Elsevier, 1994.

Ryan Lowe, Yi I Wu, Aviv Tamar, Jean Harb, OpenAI Pieter Abbeel, and Igor Mordatch. Multi-agent actor-critic for mixed cooperative-competitive environments. Advances in neural information processing systems , 30, 2017.

Jeremy McMahan, Young Wu, Xiaojin Zhu, and Qiaomin Xie. Optimal attack and defense for reinforcement learning. In Proceedings of the AAAI Conference on Artificial Intelligence , volume 38, pages 14332-14340, 2024.

Linghui Meng, Muning Wen, Yaodong Yang, Chenyang Le, Xiyun Li, Weinan Zhang, Ying Wen, Haifeng Zhang, Jun Wang, and Bo Xu. Offline pre-trained multi-agent decision transformer: One big sequence model tackles all smac tasks. arXiv preprint arXiv:2112.02845 , 2021.

Janosch Moos, Kay Hansel, Hany Abdulsamad, Svenja Stark, Debora Clever, and Jan Peters. Robust reinforcement learning: A review of foundations and recent advances. Machine Learning and Knowledge Extraction , 4(1):276-315, 2022.

Gerhard Neumann and Jan Peters. Fitted q-iteration by advantage weighted regression. Advances in neural information processing systems , 21, 2008.

Whitney K Newey and James L Powell. Asymmetric least squares estimation and testing. Econometrica: Journal of the Econometric Society , pages 819-847, 1987.

Pedro A Ortega, Markus Kunesch, Grégoire Delétang, Tim Genewein, Jordi Grau-Moya, Joel Veness, Jonas Buchli, Jonas Degrave, Bilal Piot, Julien Perolat, et al. Shaking the foundations: delusions in sequence models for interaction and control. arXiv preprint arXiv:2110.10819 , 2021.

Keiran Paster, Sheila A McIlraith, and Jimmy Ba. Planning from pixels using inverse dynamics models. arXiv preprint arXiv:2012.02419 , 2020.

Keiran Paster, Sheila McIlraith, and Jimmy Ba. You can't count on luck: Why decision transformers and rvs fail in stochastic environments. Advances in Neural Information Processing Systems , 35:38966-38979, 2022.

Julien Perolat, Bruno Scherrer, Bilal Piot, and Olivier Pietquin. Approximate dynamic programming for two-player zero-sum markov games. In International Conference on Machine Learning , pages 1321-1329. PMLR, 2015.

Lerrel Pinto, James Davidson, Rahul Sukthankar, and Abhinav Gupta. Robust adversarial reinforcement learning. In International Conference on Machine Learning , pages 2817-2826. PMLR, 2017.

Anshuka Rangi, Haifeng Xu, Long Tran-Thanh, and Massimo Franceschetti. Understanding the limits of poisoning attacks in episodic reinforcement learning. arXiv preprint arXiv:2208.13663 , 2022.

Marc Rigter, Bruno Lacerda, and Nick Hawes. Rambo-rl: Robust adversarial model-based offline reinforcement learning. Advances in neural information processing systems , 35:1608216097, 2022.

Juergen Schmidhuber. Reinforcement learning upside down: Don't predict rewards-just map them to actions. arXiv preprint arXiv:1912.02875 , 2019.

Julian Schrittwieser, Ioannis Antonoglou, Thomas Hubert, Karen Simonyan, Laurent Sifre, Simon Schmitt, Arthur Guez, Edward Lockhart, Demis Hassabis, Thore Graepel, et al. Mastering atari, go, chess and shogi by planning with a learned model. Nature , 588(7839):604-609, 2020.

Sriram Srinivasan, Marc Lanctot, Vinicius Zambaldi, Julien Pérolat, Karl Tuyls, Rémi Munos, and Michael Bowling. Actor-critic policy optimization in partially observable multiagent environments. Advances in neural information processing systems , 31, 2018.

Peter Sunehag, Guy Lever, Audrunas Gruslys, Wojciech Marian Czarnecki, Vinicius Zambaldi, Max Jaderberg, Marc Lanctot, Nicolas Sonnerat, Joel Z Leibo, Karl Tuyls, et al. Valuedecomposition networks for cooperative multi-agent learning. arXiv preprint arXiv:1706.05296 , 2017.

Xiaohang Tang, Stephen Marcus McAleer, Yaodong Yang, et al. Regret-minimizing double oracle for extensive-form games. In International Conference on Machine Learning , pages 33599-33615. PMLR, 2023.

Chen Tessler, Yonathan Efroni, and Shie Mannor. Action robust reinforcement learning and applications in continuous control. In International Conference on Machine Learning , pages 6215-6224. PMLR, 2019.

Emanuel Todorov, Tom Erez, and Yuval Tassa. Mujoco: A physics engine for model-based control. In 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems , pages 5026-5033. IEEE, 2012. doi: 10.1109/IROS.2012.6386109.

Wei-Cheng Tseng, Tsun-Hsuan Johnson Wang, Yen-Chen Lin, and Phillip Isola. Offline multiagent reinforcement learning with knowledge distillation. Advances in Neural Information Processing Systems , 35:226-237, 2022.

Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin. Attention is all you need. Advances in neural information processing systems , 30, 2017.

Eugene Vinitsky, Yuqing Du, Kanaad Parvate, Kathy Jang, Pieter Abbeel, and Alexandre Bayen. Robust reinforcement learning using adversarial populations. arXiv preprint arXiv:2008.01825 , 2020.

Xiangsen Wang, Haoran Xu, Yinan Zheng, and Xianyuan Zhan. Offline multi-agent reinforcement learning with implicit global-to-local value regularization. Advances in Neural Information Processing Systems , 36, 2024.

Muning Wen, Jakub Kuba, Runji Lin, Weinan Zhang, Ying Wen, Jun Wang, and Yaodong Yang. Multi-agent reinforcement learning is a sequence modeling problem. Advances in Neural Information Processing Systems , 35:16509-16521, 2022.

Fan Wu, Linyi Li, Chejian Xu, Huan Zhang, Bhavya Kailkhura, Krishnaram Kenthapadi, Ding Zhao, and Bo Li. Copa: Certifying robust policies for offline reinforcement learning against poisoning attacks. arXiv preprint arXiv:2203.08398 , 2022.

Yueh-Hua Wu, Xiaolong Wang, and Masashi Hamaya. Elastic decision transformer. Advances in Neural Information Processing Systems , 36, 2024.

Mengdi Xu, Yikang Shen, Shun Zhang, Yuchen Lu, Ding Zhao, Joshua Tenenbaum, and Chuang Gan. Prompting decision transformer for few-shot policy generalization. In international conference on machine learning , pages 24631-24645. PMLR, 2022.

Mengdi Xu, Yuchen Lu, Yikang Shen, Shun Zhang, Ding Zhao, and Chuang Gan. Hyperdecision transformer for efficient online policy adaptation. arXiv preprint arXiv:2304.08487 , 2023.

Taku Yamagata, Ahmed Khalil, and Raul Santos-Rodriguez. Q-learning decision transformer: Leveraging dynamic programming for conditional sequence modelling in offline rl. In International Conference on Machine Learning , pages 38989-39007. PMLR, 2023.

Mengjiao Yang, Dale Schuurmans, Pieter Abbeel, and Ofir Nachum. Dichotomy of control: Separating what you can control from what you cannot. arXiv preprint arXiv:2210.13435 , 2022.

Rui Yang, Han Zhong, Jiawei Xu, Amy Zhang, Chongjie Zhang, Lei Han, and Tong Zhang. Towards robust offline reinforcement learning under diverse data corruption. arXiv preprint arXiv:2310.12955 , 2023.

Han Zhong, Wei Xiong, Jiyuan Tan, Liwei Wang, Tong Zhang, Zhaoran Wang, and Zhuoran Yang. Pessimistic minimax value iteration: Provably efficient equilibrium learning from offline datasets. In International Conference on Machine Learning , pages 27117-27142. PMLR, 2022.

A Proofs

Theorem. 1 Let π D and ¯ π D be the data collecting policies used to gather data for training an RvS protagonist policy π . Assume T ( s t +1 | s t , a t , ¯ a t ) = ρ π D , ¯ π D ( s t +1 | τ 0: t -1 , s t , a t , ¯ a t , I ( τ ) = z ) , for any goal z such that ρ π D , ¯ π D ( I ( τ ) = z | s 0 ) > 0 , the information distance can be minimized: E τ ∼ ρ πz, ¯ π test [ D ( I ( τ ) , z )] = 0 if ¯ π test (¯ a t | τ 0: t -1 , s t , a t ) = ρ π D , ¯ π D (¯ a t | τ 0: t -1 , s t , a t , I ( τ ) = z ) .

Proof. According to Eq. (3):

If the sufficient condition is satisfied: ¯ π test (¯ a t | τ 0: t -1 , s t , a t ) = ρ π D , ¯ π D (¯ a t | τ 0: t -1 , s t , a t , I ( τ ) = z ) , combined with our assumption, we have

Then, we have:

The second equation satisfies by simply decomposing ρ as in section 2. The third equation satisfies due to Eq. (13) and Eq. (3). The fourth equation satisfies by simply merging all ρ terms. The final equation satisfies since the expectation in the last but one equation is over the probability distribution conditional on I ( τ ) = z , leading to that for any sampled trajectory τ , I ( τ ) = z , and thus D ( I ( τ ) , z ) .

B Environments

Multi-Stage Game Apart from single-stage game as motivating example, we also conduct experiments also on a multi-stage game in order to highlight the importance of multi-step minimax instead of a single-step minimum by adversary. This is because the optimal adversary will also consider the optimal protagonist strategy in the subsequent states. Considering a multi-step minimax return is more accurate to describe the value of states and sub-trajectories.

Gambling Gambling [32] is originally a simple stochastic bandit problem with three arms and horizon one. When taking the first arm, the reward will be either 5 or -15 with 50% probability each. Similarly, when taking the second arm, the reward will be 1 or -6 with equal probabilities. The third arm has deterministic reward 1 . In this paper, we extend it to adversarial setting by considering an adversary controlling the outcomes, shown in Figure 9.

Connect Four Connect Four has a long horizon 22 in the worst case. An example of the dynamics of this game is displayed in Figure 8. The outcomes only consist of win, tie, and lose, leading to the reward for the protagonist 1 , 0 , and -1 . We leverage the solver in https://github.com/ PascalPons/connect4 to generate stochastic policy for data collection.

Appendix

P

P

Op

a,a2

0.99

0.01

A

A

4.9

4

ao

a1

Lp

ao

ao

a1

P

P

7

4

P

P

7

4

ao

a

a2

ao

a1

a2

0.57

0.42

0.01

ao

a1

a2

A

A

A

A

A

A

5

5

-0.2

5.9

1.1

1.8

LpOp

ao,a

ao,a1

ao.a1

ao,a1

ao.a1

ao,a1

Lp

ao,a1

ao,a1

5

5

0

6

1

2

5

5

0

6

1

2

C Implementation Details

Our implementation is based on the implementation of Decision Transformer [2], and ESPER [32]. Our data collection and part of the evaluation against online adversaries are based on the implementation in Noisy Action Robust Reinforcement Learning [42].

The hyperparameters of the Minimax Expectile Regression are in Table 3. In practical version of ARDT's minimax regression, we adopt a leaf regularization to ensure the accuracy of predicting outcomes at terminal state (leaf node). We record our training iterations of minimax regression in the hyperparameters table. The number of training iterations in full coverage examples and Connect Four are larger than twice of the maximum trajectory length, which guarantees the minimax return propagated from the leaves to every node. According to the prediction in Figure 7, the predicted values are relatively accurate. While in MuJoCo environment, the trajectory length are too long for minimax regression to make full propagation, partial propagate already brings robustness based on the MuJoCo results in Section 4.3.

Decision Transformer is trained with cross entroy loss in discrete environment and MSE in continuous environment, as in Decision Transformer [2]. During action inference at test time, all DT-based methods are prompted with a desired initial target return and state to generate the strategy

P

ao

a2

a1

A

A

A

op

a1

ao

a1

ao

5

-15

1

-6

π . Subsequently, the trajectory is generated in an auto-regressive manner, utilizing both the actions sampled by protagonist's strategy π and the adversarial strategy ¯ π , along with the transitions and rewards provided by the online environments, till the environment terminates or the maximum trajectory length is reached for evaluation. Notably, the target return will be subtracted by the observed immediate reward once received any from the environment.

Notably, given that the rewards and states tokens encompass sufficient information about the adversary's action, we train the Transformer model with sequences without adversarial tokens, as it ensures that the model capacity remains consistent across algorithms. As usual, vanilla DT's is conditioned on the observed returns-to-go, which are contaminated by the adversarial actions, and states. Similarly, ESPER policy is conditional on the expected returns-to-go and states. Since the adversary only influences the transition and rewards, ESPER treats the adversary implicitly part of the environment who causes stochasticity, and addresses it with expected return as the information function.

D Additional Related Works

D.1 Algorithmically Related Works

Tabular value-based works have been studied to solving zero-sum games offline by leveraging pessimism for out-of-sample estimation [4, 56]. In contrast, we did not incorporate pessimism due to the difficulty of tuning its associated hyperparameter. We employ expectile regression to approximate the in-sample minimax return, inspired by the way of Implicit Q Learning [16] to approximate the Bellman optimal Q -values leveraging expectile regression (ER). ER is efficient since it doesn't rely

on querying the actions during minimax return estimation, thus reducing complexity. Learning value functions in this way has much less complexity to learn strategy from the data directly. Thus, the protocol of learning values and then extracting policy from them is reasonable. In addition, training Transformer based on relabeled returns-to-go is similar to do policy extraction from the learned values (returns-to-go) [28]. Transformer which demonstrates the strong reasoning in sequence modeling, should be exploited for improving Reinforcement Learning.

D.2 Related Adversarial Attacks

Within the broad setting of Robust Reinforcement Learning [27], our experiments focus on actionrobustness.We conducted experiments on Noisy Action Robust-MDP as a representative environment, following the previous works [7, 42, 14, 34]. According to the different types of attacks proposed in [25, 35], our adversarial perturbation can be viewed as Man In The Middle (MITM) attack formulation proposed in [35], specifically actions attack, as noted in the last paragraph of the Related Work section of [35]. The actions attack we considered in our work can influence all elements in RL from the learner's perspective, including the next state observation, immediate reward, and dynamics, thus potentially causing all types of perturbation introduced in [25, 35]. Therefore, it is reasonable to select actions attack as a representative problem, although our architecture can be extended well to other formulations of robustness to the attacks.

D.3 Related Robust RL Methods

Robust Reinforcement Learning can be roughly categorized into addressing training-time robustness to poisoning attacks, and test-time robustness to evasion attacks [49]. Poisoning attacks are defined as the manipulation of elements in the training trajectory, including state, actions, and rewards in the data or online environment [25, 35]. The adversary in this paper is similar to the Man In The Middle (MITM) attack formulation in [35]. Robust IQL [55] and RL agent with survival instinct [22] have demonstrated robustness to data poisoning in an offline setting. However, they only aim at the training-time robustness, while testing the algorithms without any attack. Our method is closer to ROLAH [7] and other related works [42, 14, 34], considering adversary appearing in both training-time and test-time serving evasion attacks. Despite the similarity,these methods are all online. Our method learns to achieve the robustness offline, which is more challenging due to potential distribution shift, and the lack of good behavior policy. In this paper, We didn't select offline robust RL as baseline since we only focus on the Reinforcement Learning via Supervised Learning (RvS) methods. We study the robustness of Decision Transformer (DT), and thus provide more analysis on DT-based algorithms including vanila DT and ESPER in various offline learning settings and environments.

E Data and Computing Resources

We publish our datasets along with the codebase via https://github.com/xiaohangt/ardt . There is no data access restrictions. The Mujoco data profiles are in Table 5 and 4. The MuJoCo data has 1000 number of trajectories, each with 1000 steps of interactions. The Connect Four datasets have also 10 6 number of steps of interaction in total, where each trajectory has a length at most 22 .

We conduct experiments on GPUs: a GeForce RTX 2080 Ti with memory 11GB, and a NVIDIA A100 with memory 80GB. The memory for the entire computing is around 100GB when parallelizing the running over random seeds in Connect Four game, and MuJoCo.

F Additional Experimental Results

ARDT can empirically address stochastic environments. Intuitively, this is because by tuning the expectile level , we can balance between expected return and minimax return, as discussed above, to achieve robustness against the distributional environmental changes.

0.01

0.05

0.1

0.2

Test-time Noise Weight

2500

2000

1500

1000

500

Worst-case Return

Halfcheetah

DT

ARDT

0.01

0.05

0.1

0.2

Test-time Noise Weight

900

600

300

0

Worst-case Return

Hopper

DT

ARDT

0.01

0.05

0.1

0.2

Test-time Noise Weight

900

600

300

0

Worst-case Return

Walker2d

DT

ARDT

0

4

6

A

P

6

1

2

A

1

0.1

0.9

(b) Results of DT-based methods on Stochastic Game conditioned on large target return. We vary the expectile level alpha of ARDT and observe that ARDT with a well-tuned alpha can perform the best.

G Additional Broader Impact

When deploying reinforcement learning (RL) methodologies in real-world, safety-critical applications, it is crucial to to account for the worst-case scenarios to prevent unexpected performance drops or safety risks. This approach ensures the system's robustness and reliability under a range of adverse conditions, effectively mitigating the potential for catastrophic failures.

One example is as discussed in the introduction of our paper, in the context of autonomous vehicles, considering worst-case scenarios is essential for safe navigation. The algorithm must be capable of handling sudden changes in road conditions, such as unexpected obstacles or extreme weather, as well as making safe decisions in complex interactive scenarios involving multiple (autonomous) vehicles.

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

2.5

1.5

0.0

Expected Return

Single-Stage Game: Stochastic Adversary

DT

ARDT

(a) Expected return computed based on the policy of single random seed in Table 1 in the paper.

(b) Average return conducted on Multi-stage Game, where the adversary has ϵ -greedy policy ( ϵ = 0 . 2 ). ARDT with a tuned expectile level achieved the best average return.

There are many other real-world control system utilizing RL requires safe and effective operations. In medical applications, such as surgical and assistive robots for patients treatment, preparing for worst-case scenarios-like unexpected drug interactions or patient non-compliance-enhances safety and efficacy. Similarly, in aerospace application, perturbations, such as turbulence, ensures safer aircraft control. Additionally, in the management of plasma states in nuclear fusion reactors using RL methods [6], it is critical to consider the worst-case outcomes of actions to maintain safe and stable operations.

NeurIPS Paper Checklist

1. Claims

Question: Do the main claims made in the abstract and introduction accurately reflect the paper's contributions and scope?

Answer: [Yes]

Justification: Section 1

Guidelines:

The answer NA means that the abstract and introduction do not include the claims made in the paper.

The abstract and/or introduction should clearly state the claims made, including the contributions made in the paper and important assumptions and limitations. A No or NA answer to this question will not be perceived well by the reviewers.

The claims made should match theoretical and experimental results, and reflect how much the results can be expected to generalize to other settings.

It is fine to include aspirational goals as motivation as long as it is clear that these goals are not attained by the paper.

2. Limitations

Question: Does the paper discuss the limitations of the work performed by the authors?

Answer: [Yes]

Justification: We discuss the limitation in the final section 5.

Guidelines:

The answer NA means that the paper has no limitation while the answer No means that the paper has limitations, but those are not discussed in the paper.

The authors are encouraged to create a separate "Limitations" section in their paper.

The paper should point out any strong assumptions and how robust the results are to violations of these assumptions (e.g., independence assumptions, noiseless settings, model well-specification, asymptotic approximations only holding locally). The authors should reflect on how these assumptions might be violated in practice and what the implications would be.

The authors should reflect on the scope of the claims made, e.g., if the approach was only tested on a few datasets or with a few runs. In general, empirical results often depend on implicit assumptions, which should be articulated.

The authors should reflect on the factors that influence the performance of the approach. For example, a facial recognition algorithm may perform poorly when image resolution is low or images are taken in low lighting. Or a speech-to-text system might not be used reliably to provide closed captions for online lectures because it fails to handle technical jargon.

The authors should discuss the computational efficiency of the proposed algorithms and how they scale with dataset size.

If applicable, the authors should discuss possible limitations of their approach to address problems of privacy and fairness.

While the authors might fear that complete honesty about limitations might be used by reviewers as grounds for rejection, a worse outcome might be that reviewers discover limitations that aren't acknowledged in the paper. The authors should use their best judgment and recognize that individual actions in favor of transparency play an important role in developing norms that preserve the integrity of the community. Reviewers will be specifically instructed to not penalize honesty concerning limitations.

3. Theory Assumptions and Proofs

Question: For each theoretical result, does the paper provide the full set of assumptions and a complete (and correct) proof?

Answer: [Yes]

Justification: We have a theorem in Section 2.1, and the proofs in Appendix A.

Guidelines:

The answer NA means that the paper does not include theoretical results.

All the theorems, formulas, and proofs in the paper should be numbered and crossreferenced.

All assumptions should be clearly stated or referenced in the statement of any theorems.

The proofs can either appear in the main paper or the supplemental material, but if they appear in the supplemental material, the authors are encouraged to provide a short proof sketch to provide intuition.

Inversely, any informal proof provided in the core of the paper should be complemented by formal proofs provided in appendix or supplemental material.

Theorems and Lemmas that the proof relies upon should be properly referenced.

4. Experimental Result Reproducibility

Question: Does the paper fully disclose all the information needed to reproduce the main experimental results of the paper to the extent that it affects the main claims and/or conclusions of the paper (regardless of whether the code and data are provided or not)?

Answer: [Yes]

Justification: We provide detailed demonstration on the algorithm in section 3 with pipeline diagram in Figure 2, as well as implementation details including hyperparameters in Appendix C.

Guidelines:

The answer NA means that the paper does not include experiments.

If the paper includes experiments, a No answer to this question will not be perceived well by the reviewers: Making the paper reproducible is important, regardless of whether the code and data are provided or not.

If the contribution is a dataset and/or model, the authors should describe the steps taken to make their results reproducible or verifiable.

Depending on the contribution, reproducibility can be accomplished in various ways. For example, if the contribution is a novel architecture, describing the architecture fully might suffice, or if the contribution is a specific model and empirical evaluation, it may be necessary to either make it possible for others to replicate the model with the same dataset, or provide access to the model. In general. releasing code and data is often one good way to accomplish this, but reproducibility can also be provided via detailed instructions for how to replicate the results, access to a hosted model (e.g., in the case of a large language model), releasing of a model checkpoint, or other means that are appropriate to the research performed.

While NeurIPS does not require releasing code, the conference does require all submissions to provide some reasonable avenue for reproducibility, which may depend on the nature of the contribution. For example

(a) If the contribution is primarily a new algorithm, the paper should make it clear how to reproduce that algorithm.

(b) If the contribution is primarily a new model architecture, the paper should describe the architecture clearly and fully.

(c) If the contribution is a new model (e.g., a large language model), then there should either be a way to access this model for reproducing the results or a way to reproduce the model (e.g., with an open-source dataset or instructions for how to construct the dataset).

(d) We recognize that reproducibility may be tricky in some cases, in which case authors are welcome to describe the particular way they provide for reproducibility. In the case of closed-source models, it may be that access to the model is limited in some way (e.g., to registered users), but it should be possible for other researchers to have some path to reproducing or verifying the results.

5. Open access to data and code

Question: Does the paper provide open access to the data and code, with sufficient instructions to faithfully reproduce the main experimental results, as described in supplemental material?

Answer: [Yes]

Justification: We provide the access to our dataset in Appendix E. The code is attached as the supplementary material.

Guidelines:

The answer NA means that paper does not include experiments requiring code.

Please see the NeurIPS code and data submission guidelines ( https://nips.cc/ public/guides/CodeSubmissionPolicy ) for more details.

While we encourage the release of code and data, we understand that this might not be possible, so 'No' is an acceptable answer. Papers cannot be rejected simply for not including code, unless this is central to the contribution (e.g., for a new open-source benchmark).

The instructions should contain the exact command and environment needed to run to reproduce the results. See the NeurIPS code and data submission guidelines ( https: //nips.cc/public/guides/CodeSubmissionPolicy ) for more details.

The authors should provide instructions on data access and preparation, including how to access the raw data, preprocessed data, intermediate data, and generated data, etc.

The authors should provide scripts to reproduce all experimental results for the new proposed method and baselines. If only a subset of experiments are reproducible, they should state which ones are omitted from the script and why.

At submission time, to preserve anonymity, the authors should release anonymized versions (if applicable).

Providing as much information as possible in supplemental material (appended to the paper) is recommended, but including URLs to data and code is permitted.

6. Experimental Setting/Details

Question: Does the paper specify all the training and test details (e.g., data splits, hyperparameters, how they were chosen, type of optimizer, etc.) necessary to understand the results?

Answer: [Yes]

Justification: We provide detailed explanation of the environmental settings in Appendix B, as well as the hyperparmeters in Appendix C.

Guidelines:

The answer NA means that the paper does not include experiments.

The experimental setting should be presented in the core of the paper to a level of detail that is necessary to appreciate the results and make sense of them.

The full details can be provided either with the code, in appendix, or as supplemental material.

7. Experiment Statistical Significance

Question: Does the paper report error bars suitably and correctly defined or other appropriate information about the statistical significance of the experiments?

Answer: [Yes]

Justification: Section 4.

Guidelines:

The answer NA means that the paper does not include experiments.

The authors should answer "Yes" if the results are accompanied by error bars, confidence intervals, or statistical significance tests, at least for the experiments that support the main claims of the paper.

The factors of variability that the error bars are capturing should be clearly stated (for example, train/test split, initialization, random drawing of some parameter, or overall run with given experimental conditions).

The method for calculating the error bars should be explained (closed form formula, call to a library function, bootstrap, etc.)

The assumptions made should be given (e.g., Normally distributed errors).

It should be clear whether the error bar is the standard deviation or the standard error of the mean.

It is OK to report 1-sigma error bars, but one should state it. The authors should preferably report a 2-sigma error bar than state that they have a 96% CI, if the hypothesis of Normality of errors is not verified.

For asymmetric distributions, the authors should be careful not to show in tables or figures symmetric error bars that would yield results that are out of range (e.g. negative error rates).

If error bars are reported in tables or plots, The authors should explain in the text how they were calculated and reference the corresponding figures or tables in the text.

8. Experiments Compute Resources

Question: For each experiment, does the paper provide sufficient information on the computer resources (type of compute workers, memory, time of execution) needed to reproduce the experiments?

Answer: [Yes]

Guidelines:

The answer NA means that the paper does not include experiments.

The paper should indicate the type of compute workers CPU or GPU, internal cluster, or cloud provider, including relevant memory and storage.

The paper should provide the amount of compute required for each of the individual experimental runs as well as estimate the total compute.

The paper should disclose whether the full research project required more compute than the experiments reported in the paper (e.g., preliminary or failed experiments that didn't make it into the paper).

9. Code Of Ethics

Question: Does the research conducted in the paper conform, in every respect, with the NeurIPS Code of Ethics https://neurips.cc/public/EthicsGuidelines ?

Answer: [Yes]

Justification:

Guidelines:

The answer NA means that the authors have not reviewed the NeurIPS Code of Ethics.

If the authors answer No, they should explain the special circumstances that require a deviation from the Code of Ethics.

The authors should make sure to preserve anonymity (e.g., if there is a special consideration due to laws or regulations in their jurisdiction).

10. Broader Impacts

Question: Does the paper discuss both potential positive societal impacts and negative societal impacts of the work performed?

Answer: [Yes]

Justification: Section 5

Guidelines:

The answer NA means that there is no societal impact of the work performed.

If the authors answer NA or No, they should explain why their work has no societal impact or why the paper does not address societal impact.

Examples of negative societal impacts include potential malicious or unintended uses (e.g., disinformation, generating fake profiles, surveillance), fairness considerations (e.g., deployment of technologies that could make decisions that unfairly impact specific groups), privacy considerations, and security considerations.

The conference expects that many papers will be foundational research and not tied to particular applications, let alone deployments. However, if there is a direct path to any negative applications, the authors should point it out. For example, it is legitimate to point out that an improvement in the quality of generative models could be used to generate deepfakes for disinformation. On the other hand, it is not needed to point out that a generic algorithm for optimizing neural networks could enable people to train models that generate Deepfakes faster.

The authors should consider possible harms that could arise when the technology is being used as intended and functioning correctly, harms that could arise when the technology is being used as intended but gives incorrect results, and harms following from (intentional or unintentional) misuse of the technology.

If there are negative societal impacts, the authors could also discuss possible mitigation strategies (e.g., gated release of models, providing defenses in addition to attacks, mechanisms for monitoring misuse, mechanisms to monitor how a system learns from feedback over time, improving the efficiency and accessibility of ML).

11. Safeguards

Question: Does the paper describe safeguards that have been put in place for responsible release of data or models that have a high risk for misuse (e.g., pretrained language models, image generators, or scraped datasets)?

Answer: [NA]

Justification: [NA]

Guidelines:

The answer NA means that the paper poses no such risks.

Released models that have a high risk for misuse or dual-use should be released with necessary safeguards to allow for controlled use of the model, for example by requiring that users adhere to usage guidelines or restrictions to access the model or implementing safety filters.

Datasets that have been scraped from the Internet could pose safety risks. The authors should describe how they avoided releasing unsafe images.

We recognize that providing effective safeguards is challenging, and many papers do not require this, but we encourage authors to take this into account and make a best faith effort.

12. Licenses for existing assets

Question: Are the creators or original owners of assets (e.g., code, data, models), used in the paper, properly credited and are the license and terms of use explicitly mentioned and properly respected?

Answer: [Yes]

Justification: Our implementation is based on some other codebases, which are cited in section 4 and Appendix C.

Guidelines:

The answer NA means that the paper does not use existing assets.

The authors should cite the original paper that produced the code package or dataset.

The authors should state which version of the asset is used and, if possible, include a URL.

The name of the license (e.g., CC-BY 4.0) should be included for each asset.

For scraped data from a particular source (e.g., website), the copyright and terms of service of that source should be provided.

If assets are released, the license, copyright information, and terms of use in the package should be provided. For popular datasets, paperswithcode.com/datasets has curated licenses for some datasets. Their licensing guide can help determine the license of a dataset.

For existing datasets that are re-packaged, both the original license and the license of the derived asset (if it has changed) should be provided.

If this information is not available online, the authors are encouraged to reach out to the asset's creators.

13. New Assets

Question: Are new assets introduced in the paper well documented and is the documentation provided alongside the assets?

Answer: [Yes]

Justification: The new dataset in Appendix E.

Guidelines:

The answer NA means that the paper does not release new assets.

Researchers should communicate the details of the dataset/code/model as part of their submissions via structured templates. This includes details about training, license, limitations, etc.

The paper should discuss whether and how consent was obtained from people whose asset is used.

At submission time, remember to anonymize your assets (if applicable). You can either create an anonymized URL or include an anonymized zip file.

14. Crowdsourcing and Research with Human Subjects

Question: For crowdsourcing experiments and research with human subjects, does the paper include the full text of instructions given to participants and screenshots, if applicable, as well as details about compensation (if any)?

Answer: [NA]

Justification: [NA]

Guidelines:

The answer NA means that the paper does not involve crowdsourcing nor research with human subjects.

Including this information in the supplemental material is fine, but if the main contribution of the paper involves human subjects, then as much detail as possible should be included in the main paper.

According to the NeurIPS Code of Ethics, workers involved in data collection, curation, or other labor should be paid at least the minimum wage in the country of the data collector.

15. Institutional Review Board (IRB) Approvals or Equivalent for Research with Human Subjects

Question: Does the paper describe potential risks incurred by study participants, whether such risks were disclosed to the subjects, and whether Institutional Review Board (IRB) approvals (or an equivalent approval/review based on the requirements of your country or institution) were obtained?

Answer: [NA]

Justification: [NA]

Guidelines:

The answer NA means that the paper does not involve crowdsourcing nor research with human subjects.

Depending on the country in which research is conducted, IRB approval (or equivalent) may be required for any human subjects research. If you obtained IRB approval, you should clearly state this in the paper.

We recognize that the procedures for this may vary significantly between institutions and locations, and we expect authors to adhere to the NeurIPS Code of Ethics and the guidelines for their institution.

For initial submissions, do not include any information that would break anonymity (if applicable), such as the institution conducting the review.

Peer reviews:
comments: SUMMARY:
The paper tackles the worst-case-aware RL problem, revises the conventional DT formulation via minimax returns, and proposes the adversarial robust DT to enhance robustness against test-time adversaries.

STRENGTHS:
- The formulation of adversarial robust DT with minimax return is sound and clear. 
- Improving the robustness against test-time adversaries is critical for real-world deployment of RL.
- The highlight and superiority of the proposed method is verified by comprehensive experiments.

WEAKNESSES:
- Two additional returns-to-go networks are needed for return re-labeling, which increases the computation burden. 
- The trade-off between robustness to adversaries and the policy conservativeness is not discussed.

QUESTIONS:
- Can the ARDT be compared to baselines regarding the normal case, not only the worst case. It could be interesting to see the performance drop in the normal case, and judge where it is worth sacrificing the performance in conventional cases for the improvement in the worst case.
- Are there any real-world applications where it is necessary to consider a worst-case-aware RL algorithm? It could further highlight the significance of the proposed method if some examples could be provided.

LIMITATIONS:
- The application to real-world scenarios could be limited to some extent, as the learned policy might be too conservative.
TITLE: Official Review
SOUNDNESS_CORRECTNESS: 3
DATE: 2024-07-13

comments: SUMMARY:
This paper introduces Adversarial Robust Decision Transformer (ARDT), a novel approach enhancing robustness in sequential decision-making. ARDT aligns policies with worst-case scenarios learned through minimax expectile regression, outperforming DT in robustness against powerful adversaries across different data coverage scenarios, including sequential games.

STRENGTHS:
1 The paper's motivation seems good and well-founded, and the idea is considered novel and presented clearly and intriguingly. 

2 The experimental results demonstrate better robustness compared to existing DT and ESPER methods.

WEAKNESSES:
1 Several attacks on reinforcement learning have been proposed, such as [1][2], why have these not been applied in experimental settings?

2 There have been some related works on robust reinforcement learning, for example [3][4][5]. The authors should provide a comprehensive literature review on the topic of robust reinforcement learning, including similarities, differences, and reasons why it has not been used as a baseline for experimental comparisons.


[1] Optimal Attack and Defense for Reinforcement Learning, AAAI 2024

[2] Understanding the Limits of Poisoning Attacks in Episodic Reinforcement Learning, IJCAI 2022

[3] Towards Robust Offline Reinforcement Learning under Diverse Data Corruption, ICLR 2024

[4] Survival Instinct in Offline Reinforcement Learning, NeurIPS 2024

[5] Robust Reinforcement Learning through Efficient Adversarial Herding, arXiv

QUESTIONS:
see weaknesses

LIMITATIONS:
This paper does not consider randomness, whereas random attacks are common in the real world. The authors have already clarified this limitation in the paper.
TITLE: Official Review
SOUNDNESS_CORRECTNESS: 3
DATE: 2024-07-14

comments: SUMMARY:
This paper consider zero-sum two player Markov game that involves a protagonist and an adversary. The protagonist aims to maximize reward while the adversary aims to minimize it. This paper proposes Adversarial Robust Decision Transformer(ARDT), which is an algorithm that is based on Decision Transformer architecture, and learns the minimax return to go through expectile regression, hence guarantee robustness. Conduct various experiments to validate its algorithm.

STRENGTHS:
First to explore the robusteness of reinforcement learning via supervised learning. Great presentation, great novelty. Exhaustive experiement details.

WEAKNESSES:
Lack of ablation study. 
e.g. how \alpha can effect the performance? 
It seems when \alpha is closer to 1, the learned return to go is closer to the maximum conditioned value,  the more robustness the algorithms should present. It would be more solid to say expetile regression is valid if the experiment can show this phenonmenon.

Like what the author stated in the paper, the environment is all deterministic. It would be great if the experiment can show the algorithm can handle stochastic environment.

line 156 "estiation" to estimation
line 196 "deatils" to "details"

QUESTIONS:
Updating \omega and \nu happens when another is frozen. Is there any theoretical guarantee this type of update rule can converge to optimal value?

LIMITATIONS:
The author stated one of their limitations regarding experiments. add experiment that has stochastic transtions if time permit. 
Add one more experiment that varies the hyperparameter \alpha to show the effectiveness of expectile regression.
TITLE: Official Review
SOUNDNESS_CORRECTNESS: 3
DATE: 2024-07-17