Transition Model

A function that assigns to any Action a∈Aa\in \mathcal{A} and a state s∈Ss\in \mathcal{S} a set of successor states (here into the set of all possible state combinations Potenzmenge).

T:A×S→P(S)\mathcal{T}: \mathcal{A} \times \mathcal{S} \rightarrow \mathcal{P}(\mathcal{S})

Updates the Belief State based on an Action.