stormvogel.examples.atva20_z0

Simplified POMDP derived from the z0 cluster of the ATVA 2020 example.

States s0, s1, s2 share observation z0. Action b mixes beliefs within the cluster (same transitions as s0/s5/s6 in the full ATVA model); action a commits directly to goal or failure with state-dependent probabilities.

Transitions:

s0  --a-->  goal (1/2),  fail (1/2)
s0  --b-->  s1  (1/6),   s2  (1/3),  s0  (1/2)

s1  --a-->  goal (3/4),  fail (1/4)
s1  --b-->  s1  (1/4),   s2  (3/4)

s2  --a-->  goal (1/4),  fail (3/4)
s2  --b-->  s1  (2/3),   s2  (1/3)

Functions

create_atva20_z0_pomdp(→ stormvogel.model.Model)

Return the simplified ATVA z0-cluster POMDP.

Module Contents

stormvogel.examples.atva20_z0.create_atva20_z0_pomdp() → stormvogel.model.Model

Return the simplified ATVA z0-cluster POMDP.

All three states share observation z0, so the belief over them forms a 2-simplex (triangle). The b action mixes within the cluster; the a action commits to an absorbing goal or fail state with probabilities that differ per state (s1 is the best state, s2 the worst).

Returns:

A stormvogel POMDP model.