Welcome to SafeMDP’s documentation!

Contents

• API Documentation
  • Main classes
    • SafeMDP
    • link_graph_and_safe_set
    • reachable_set
    • returnable_set
  • Grid world
    • GridWorld
    • states_to_nodes
    • nodes_to_states
    • draw_gp_sample
    • grid_world_graph
    • grid
    • compute_true_safe_set
    • compute_true_S_hat
    • compute_S_hat0
    • shortest_path
    • path_to_boolean_matrix
    • safe_subpath
  • Utilities
    • DifferenceKernel
    • max_out_degree

Indices and tables

• Index
• Module Index
• Search Page