← Back to article

Equation 5 · Comparing the Main Approaches to Robotics and Embodied AI

What does this equation mean?

a1:H∗=arg⁡max⁡a1:H  Ep^θ[∑t=1Hγt r(st,at)]a^{*}_{1:H} = \arg\max_{a_{1:H}} \; \mathbb{E}_{\hat{p}_\theta} \left[ \sum_{t=1}^{H} \gamma^{t} \, r(s_t, a_t) \right]

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

a1:H∗a^{*}_{1:H}

Symbol a^*_1:H

a1∗a^*_1:H is computed from the expected values combined on the right.

Understand this part →

a1:Ha_{1:H}

Symbol a_1:H

a1a_1:H appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.

Understand this part →

Ep^θ\mathbb{E}_{\hat{p}_\theta}

Symbol E_hatp_θ

EhE_hatp_θ appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.

Understand this part →

tt

Symbol t

t appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

Understand this part →

HH

Symbol H

H appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

Understand this part →

γt\gamma^{t}

Symbol gamma^t

gammata^t appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.

Understand this part →

rr

Symbol r

r appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.

Understand this part →

sts_t

Symbol s_t

sts_t appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.

Understand this part →

ata_t

Symbol a_t

ata_t appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →
t=1t=1

Starting index or lower bound: t=1

This label says where the repeated addition, multiplication, or accumulation starts. Read its value or condition together with the article’s description of the index.

Understand this part →

HH

Ending index or upper bound: H

This label says where the repeated addition, multiplication, or accumulation stops. It sets the last term or end of the range.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Nothing in this update requires knowing or estimating p(s' ∣\mid s, a) ; it only requires having experienced (s, a, r, s') . A model-based approach instead fits an explicit dynamics model p^θ(s′∣s,a)\hat{p}_\theta(s' \mid s, a) — a “world model” — and plans against it directly: a1:H∗=arg⁡max⁡a1:H  Ep^θ[∑t=1Hγt r(st,at)]a^{*}_{1:H} = \arg\max_{a_{1:H}} \; \mathbb{E}_{\hat{p}_\theta} \left[ \sum_{t=1}^{H} \gamma^{t} \, r(s_t, a_t) \right]. A comprehensive survey of the model-based literature frames the trade this way: fitting and planning against p^θ\hat{p}_\theta typically buys sample efficiency, because every transition teaches the model something reusable across many hypothetical future plans rather than updating one value estimate, and it buys interpretability, because the model can be queried and its predictions checked against reality…
Read the full surrounding passage
Nothing in this update requires knowing or estimating p(s' ∣\mid s, a) ; it only requires having experienced (s, a, r, s') . A model-based approach instead fits an explicit dynamics model p^θ(s′∣s,a)\hat{p}_\theta(s' \mid s, a) — a “world model” — and plans against it directly: a1:H∗=arg⁡max⁡a1:H  Ep^θ[∑t=1Hγt r(st,at)]a^{*}_{1:H} = \arg\max_{a_{1:H}} \; \mathbb{E}_{\hat{p}_\theta} \left[ \sum_{t=1}^{H} \gamma^{t} \, r(s_t, a_t) \right]. A comprehensive survey of the model-based literature frames the trade this way: fitting and planning against p^θ\hat{p}_\theta typically buys sample efficiency, because every transition teaches the model something reusable across many hypothetical future plans rather than updating one value estimate, and it buys interpretability, because the model can be queried and its predictions checked against reality independent of the policy it supports; the cost is that policy quality is now bounded by model accuracy, and errors in p^θ\hat{p}_\theta compound over the planning horizon H in ways that are hard to detect from the outside [ 6 ] . Classical robotics has practiced a version of this for decades without calling it “model-based reinforcement learning”: model-predictive control on the MIT Cheetah 3 solves a convex optimization over ground reaction forces against a simplified but explicit rigid-body dynamics model, to optimality, in well under half a millisecond per solve at 20 to 30 hertz, producing trot, bound, pace and full three-dimensional gallop gaits on real hardware [ 10 ] . The model there is hand-derived physics rather than a learned network, but the structural bet is the same one Moerland and colleagues describe: an explicit, checkable model of dynamics, planned against at run time.

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to Comparing the Main Approaches to Robotics and Embodied AI

See this formula across 1 published context →

Browse the mathematical compendium →