We can write a transition model to describe these actions. Since the actions are stochastic, the model looks like:
Where is the action that takes the agent from to .
Transitions are assumed to be first order Markovian, that is, they only depend on the current and next states. So we can write a large set of probability tables that describe all possible actions executed in all possible states.