Correção: somente atualiza SMDP-planning se s_t pertencer a I^o

Colocando valor bom para executar uma option no estado terminal.

Executar a option "ligar a luz" em um estado com luz ligada (inclusive o terminal dessa option) pode receber um valor maior que zero, fazendo com que essa option possa ser a ação escolhida em uma explotação.

Solução: colocar um if (dentro do for):
for ...
    if s_t in get_I(o) then
        ...

Só vai atualizar para pares s_t, o "OK", ficando os "não-OK" com o valor padrão (nulo).