compute_true_S_hat

safemdp.compute_true_S_hat(graph, safe_set, initial_nodes, reverse_graph=None)

Compute the true safe set with reachability and returnability.

Parameters:

graph: nx.DiGraph

safe_set: np.array

initial_nodes: list of int

reverse_graph: nx.DiGraph

graph.reverse()

Returns:

true_safe: np.array

Boolean array n_states x (n_actions + 1).