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).