def find_reachable(s, a, mdp):
    """ Find states that are reachable from state 's' after executing action 'a' """
    all_reachable_from_s = mdp[s]['Adj']
    return list(filter(lambda obj_s_: a in obj_s_['A'], all_reachable_from_s))