├── .dockerignore ├── .gitignore ├── .gitlab-ci.yml ├── .gitmodules ├── LICENSE ├── README.md ├── deprecated ├── cadrl_torch_model ├── jupyter_notebooks │ ├── LipSDP.ipynb │ ├── closed_loop_example.ipynb │ └── partitioner_example.ipynb ├── matlab_codes │ ├── .gitkeep │ └── quadrotor_nlmpc │ │ ├── myOutputFunction.m │ │ ├── myOutputJacobian.m │ │ ├── myStateFunction.m │ │ ├── myStateJacobian.m │ │ ├── pxpy.png │ │ ├── pxpy_451.png │ │ ├── pxpz.png │ │ ├── quadrotor_nlmpc.m │ │ ├── quadrotor_nlmpc_u.csv │ │ └── quadrotor_nlmpc_x.csv ├── nn_partition │ ├── .gitignore │ ├── example.py │ ├── experiments.py │ ├── models │ │ ├── model_files │ │ │ ├── 2_50_2_relu_0 │ │ │ └── 2_50_2_tanh_0 │ │ └── models.py │ ├── nn_partition │ │ ├── analyzers │ │ │ ├── __init__.py │ │ │ ├── dynamics.py │ │ │ └── rl.py │ │ └── utils │ │ │ ├── data_utils.py │ │ │ ├── expt.py │ │ │ ├── jul.py │ │ │ ├── object_boundary.py │ │ │ ├── utils.py │ │ │ └── xiang.py │ ├── setup.py │ └── tests │ │ ├── animate_agsg_crown │ │ ├── animate_gsg_crown │ │ ├── animate_sg_crown │ │ ├── lcss21_figures │ │ ├── fig4a │ │ ├── fig4b │ │ ├── fig4c │ │ ├── fig5a │ │ ├── fig5b │ │ ├── fig5c │ │ ├── fig5d │ │ ├── fig6a │ │ └── fig6b │ │ └── test_open_loop.py ├── setup_old.py ├── tmp │ └── tanh.pkl └── train.sh ├── docker └── Dockerfile ├── docs └── _static │ ├── access21 │ ├── 3d_quadrotor │ │ ├── ClosedLoopNoPartitioner.gif │ │ ├── quadrotor_None_CROWN_tmax_1.2_lp_8_output_feedback.png │ │ └── quadrotor_None_CROWN_tmax_1.2_lp_8_state_feedback.png │ ├── access21.md │ ├── backreach │ │ ├── double_integrator_None_CROWN_polytope_8_partitions_16_16.png │ │ ├── double_integrator_None_CROWN_polytope_8_partitions_2_2.png │ │ ├── double_integrator_None_CROWN_polytope_8_partitions_4_4.png │ │ └── double_integrator_None_CROWN_polytope_8_partitions_8_8.png │ ├── partitions │ │ ├── ClosedLoopGreedySimGuidedPartitioner0.gif │ │ ├── ClosedLoopGreedySimGuidedPartitioner4.gif │ │ ├── ClosedLoopSimGuidedPartitioner.gif │ │ └── ClosedLoopUnGuidedPartitioner.gif │ ├── reachlp_vs_reachsdp │ │ ├── runtime_vs_error_2021_07_21__12_33_20_reachable.png │ │ └── runtime_vs_error_2021_07_21__12_33_20_timestep.png │ └── systems │ │ ├── duffing_None_CROWN_tmax_0.3_lp_8.png │ │ └── iss_None_CROWN_tmax_0.2_lp_8.png │ ├── cdc22 │ ├── cdc22.md │ ├── fig3 │ │ ├── double_integrator_r1.png │ │ └── runtime_vs_error_2022_05_30__16_03_07_timestep.png │ ├── fig4 │ │ ├── backward_reach_bifurcation_r2.png │ │ ├── forward_reach_bifurcation_r2.png │ │ └── forward_reach_nominal_r2.png │ └── fig5 │ │ └── backward_lgr_buggy_demo_r1.png │ ├── icra21 │ ├── fig_3 │ │ ├── double_integrator_mpc_None_CROWN.png │ │ ├── double_integrator_mpc_None_SDP.png │ │ ├── double_integrator_mpc_Uniform_CROWN.png │ │ └── double_integrator_mpc_Uniform_SDP.png │ ├── fig_4 │ │ ├── double_integrator_mpc_None_CROWN_tmax_4.0_polytope_35.png │ │ ├── double_integrator_mpc_None_CROWN_tmax_4.0_polytope_4.png │ │ └── double_integrator_mpc_None_CROWN_tmax_4.0_polytope_8.png │ ├── fig_5 │ │ ├── quadrotor_None_CROWN_tmax_1.2_lp_8_output_feedback.png │ │ └── quadrotor_None_CROWN_tmax_1.2_lp_8_state_feedback.png │ ├── icra21.md │ └── other │ │ ├── double_integrator_None_CROWN_tmax_4.0_polytope_35.png │ │ └── double_integrator_Uniform_CROWN_tmax_5.0_lp_8.png │ ├── lcss21 │ ├── animations │ │ ├── GSG_CROWN_random_relu_lowerbnds.gif │ │ └── GreedySimGuidedPartitioner.gif │ ├── fig_4 │ │ ├── random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ │ ├── random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_linf_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ │ └── random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_lower_bnds_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ ├── fig_5 │ │ ├── random_weights_relu_AdaptiveGreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ │ ├── random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ │ ├── random_weights_relu_SimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ │ └── random_weights_relu_SimGuided_IBP_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ ├── fig_6 │ │ ├── robot_arm_tanh_AdaptiveGreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ │ └── robot_arm_tanh_SimGuided_IBP_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png │ └── lcss21.md │ └── other.md ├── mypy.ini ├── pyproject.toml ├── src └── nfl_veripy │ ├── __init__.py │ ├── _static │ ├── datasets │ │ ├── README.md │ │ ├── double_integrator │ │ │ ├── us.pkl │ │ │ └── xs.pkl │ │ ├── double_integrator2 │ │ │ ├── us.pkl │ │ │ └── xs.pkl │ │ ├── duffing │ │ │ ├── us.csv │ │ │ └── xs.csv │ │ ├── iss │ │ │ ├── iss.mat │ │ │ ├── us.csv │ │ │ └── xs.csv │ │ └── quadrotor │ │ │ ├── us.pkl │ │ │ └── xs.pkl │ ├── example_configs │ │ ├── acc23_ │ │ │ └── testing │ │ ├── access21 │ │ │ ├── backreach.yaml │ │ │ ├── duffing.yaml │ │ │ ├── greedy_sim_guided.yaml │ │ │ ├── iss.yaml │ │ │ └── sim_guided.yaml │ │ ├── cdc22 │ │ │ ├── fig3a.yaml │ │ │ ├── fig4a.yaml │ │ │ ├── fig4b.yaml │ │ │ ├── fig4c.yaml │ │ │ └── fig5.yaml │ │ ├── icra21 │ │ │ ├── fig3_reach_lp.yaml │ │ │ ├── fig3_reach_lp_partition.yaml │ │ │ ├── fig3_reach_sdp.yaml │ │ │ ├── fig3_reach_sdp_partition.yaml │ │ │ ├── fig4b.yaml │ │ │ ├── fig5a.yaml │ │ │ └── fig5b.yaml │ │ ├── jax │ │ │ ├── jax_fwd_double_integrator.yaml │ │ │ ├── jax_fwd_double_integrator_jit.yaml │ │ │ └── jax_fwd_quadrotor.yaml │ │ ├── lcss23 │ │ │ ├── fig2_breachlp.yaml │ │ │ ├── fig2_breachlp_iterate.yaml │ │ │ ├── fig2_driphpoly1.yaml │ │ │ └── fig2_driphpoly5.yaml │ │ └── ojcsys23 │ │ │ ├── di_breach.yaml │ │ │ ├── di_hybreach.yaml │ │ │ └── quadrotor_hybreach.yaml │ └── models │ │ ├── DiscreteQuadrotor │ │ ├── discrete_quad_avoid_origin_maneuver │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_100_100 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_128_128 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_128_128_128 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_256_256 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_0 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_1 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_3 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_4 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_40 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_6 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_7 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_8 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_40_40_9 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_50_50 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_0 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_1 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_3 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_4 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_6 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_7 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_8 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_60_60_9 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_64_64 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_80_80 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_fast │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_fast_test │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_fast_test2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quad_avoid_origin_maneuver_fast │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── test │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── test2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── test3 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── DoubleIntegrator │ │ ├── default │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── diverse_16_16 │ │ │ ├── history.p │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── double_integrator_test_5_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── double_integrator_test_5_5_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── DoubleIntegratorx4 │ │ └── simple_4_DI │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── Duffing │ │ ├── default │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── duffing_10_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── duffing_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── duffing_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── GroundRobotDI │ │ ├── ground_robot_DI_avoid_origin_maneuver │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── ground_robot_DI_avoid_origin_maneuver_velocity │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── ground_robot_DI_avoid_origin_maneuver_velocity_update │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── GroundRobotSI │ │ ├── buggy_complex_potential_field │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── buggy_complex_potential_field2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── buggy_complex_potential_field3 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── buggy_complex_potential_field4 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── buggy_complex_potential_field5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── buggy_simple_potential_field │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── complex_potential_field │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── go_straight_complex_potential_field │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── ISS │ │ ├── default │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── iss_10_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── iss_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── iss_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── iss_backup │ │ │ ├── 1 │ │ │ ├── iss_10_5 │ │ │ │ ├── model.h5 │ │ │ │ └── model.json │ │ │ ├── iss_5_5 │ │ │ │ ├── model.h5 │ │ │ │ └── model.json │ │ │ └── iss_5_5_5 │ │ │ │ ├── model.h5 │ │ │ │ └── model.json │ │ │ ├── 2 │ │ │ ├── iss_10_5 │ │ │ │ ├── model.h5 │ │ │ │ └── model.json │ │ │ ├── iss_5_5 │ │ │ │ ├── model.h5 │ │ │ │ └── model.json │ │ │ └── iss_5_5_5 │ │ │ │ ├── model.h5 │ │ │ │ └── model.json │ │ │ └── 3_continuous │ │ │ ├── iss_10_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ │ ├── iss_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ │ └── iss_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── Pendulum │ │ └── default │ │ │ ├── model.h5 │ │ │ ├── model.json │ │ │ └── single_pendulum_small_controller.torch │ │ ├── Quadrotor │ │ ├── avoid_origin_maneuver │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── default │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_small │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── test │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── Quadrotor_8D │ │ ├── intermediate_policy_0.pt │ │ └── sim_data.npy │ │ ├── Quadrotor_v0 │ │ ├── avoid_origin_maneuver │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── default │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── discrete_quad_avoid_origin_maneuver_2 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_small │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── quadrotor_test_5_5_5_5_5_5_5_5_5_5 │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── test │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── README.md │ │ ├── Taxinet │ │ ├── default │ │ │ ├── model.h5 │ │ │ └── note.txt │ │ ├── from_pb │ │ │ ├── TinyTaxiNet.onnx │ │ │ └── saved_model.pb │ │ └── to_pb │ │ │ ├── saved_model.pb │ │ │ └── variables │ │ │ ├── variables.data-00000-of-00001 │ │ │ └── variables.index │ │ ├── Unicycle │ │ ├── drive_in_circle_controller │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── sine_wave_controller │ │ │ ├── model.h5 │ │ │ └── model.json │ │ ├── Unity │ │ └── default │ │ │ ├── model.h5 │ │ │ └── model.json │ │ └── debug │ │ ├── corner_policy │ │ ├── model.h5 │ │ └── model.json │ │ ├── corner_policy2 │ │ ├── model.h5 │ │ └── model.json │ │ ├── corner_policy3 │ │ ├── model.h5 │ │ └── model.json │ │ └── corner_policy4 │ │ ├── model.h5 │ │ └── model.json │ ├── analyzers │ ├── Analyzer.py │ ├── ClosedLoopAnalyzer.py │ ├── ClosedLoopBackwardAnalyzer.py │ └── __init__.py │ ├── constraints │ ├── Constraints.py │ ├── __init__.py │ └── constraint_utils.py │ ├── dynamics │ ├── DiscreteQuadrotor.py │ ├── DoubleIntegrator.py │ ├── DoubleIntegratorOutputFeedback.py │ ├── DoubleIntegratorx4.py │ ├── Duffing.py │ ├── Dynamics.py │ ├── GroundRobotDI.py │ ├── GroundRobotSI.py │ ├── ISS.py │ ├── ISS_discrete.py │ ├── Pendulum.py │ ├── Quadrotor.py │ ├── QuadrotorOutputFeedback.py │ ├── QuadrotorOutputFeedback_v0.py │ ├── Quadrotor_8D.py │ ├── Quadrotor_v0.py │ ├── Taxinet.py │ ├── Unicycle.py │ ├── Unity.py │ └── __init__.py │ ├── elements │ ├── Element.py │ ├── GuidedElement.py │ ├── OptGuidedElement.py │ └── __init__.py │ ├── example.py │ ├── experiments │ ├── ClosedLoopExperiments.py │ ├── backward_experiments.py │ ├── experiments.py │ └── expts.py │ ├── partitioners │ ├── AdaptiveGreedySimGuidedPartitioner.py │ ├── BoundarySimGuidedPartitioner.py │ ├── ClosedLoopGreedySimGuidedPartitioner.py │ ├── ClosedLoopNoPartitioner.py │ ├── ClosedLoopPartitioner.py │ ├── ClosedLoopSimGuidedPartitioner.py │ ├── ClosedLoopUnGuidedPartitioner.py │ ├── ClosedLoopUniformPartitioner.py │ ├── GreedySimGuidedPartitioner.py │ ├── NoPartitioner.py │ ├── Partitioner.py │ ├── SimGuidedPartitioner.py │ ├── UnGuidedPartitioner.py │ ├── UniformPartitioner.py │ └── __init__.py │ ├── propagators │ ├── AutoLIRPA.py │ ├── ClosedLoopAUTOLIRPAPropagator.py │ ├── ClosedLoopCROWNIBPCodebasePropagator.py │ ├── ClosedLoopJaxVerifyPropagator.py │ ├── ClosedLoopOVERTPropagator.py │ ├── ClosedLoopPropagator.py │ ├── ClosedLoopSDPPropagator.py │ ├── ClosedLoopSeparablePropagator.py │ ├── CrownIBP.py │ ├── Propagator.py │ ├── SDP.py │ └── __init__.py │ ├── utils │ ├── alpha-beta-crown_test.py │ ├── closed_loop_verification_jax.py │ ├── controller_generation.py │ ├── create_training_dataset.py │ ├── debug_polytope.py │ ├── debug_prop.py │ ├── duffing_data_generating.py │ ├── generate_rpm_data.py │ ├── iss_data_generating.py │ ├── mpc.py │ ├── nn.py │ ├── nn_bounds.py │ ├── nn_closed_loop.py │ ├── nn_jax.py │ ├── optimization_utils.py │ ├── plot_rect_prism.py │ ├── reach_sdp.py │ ├── run_overt.jl │ └── utils.py │ └── visualizers │ ├── BackwardVisualizer.py │ ├── ForwardVisualizer.py │ └── __init__.py └── tests ├── test.py └── test_constraints.py /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/.dockerignore -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/README.md -------------------------------------------------------------------------------- /deprecated/cadrl_torch_model: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/cadrl_torch_model -------------------------------------------------------------------------------- /deprecated/jupyter_notebooks/LipSDP.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/jupyter_notebooks/LipSDP.ipynb -------------------------------------------------------------------------------- /deprecated/jupyter_notebooks/closed_loop_example.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/jupyter_notebooks/closed_loop_example.ipynb -------------------------------------------------------------------------------- /deprecated/jupyter_notebooks/partitioner_example.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/jupyter_notebooks/partitioner_example.ipynb -------------------------------------------------------------------------------- /deprecated/matlab_codes/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/myOutputFunction.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/myOutputFunction.m -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/myOutputJacobian.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/myOutputJacobian.m -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/myStateFunction.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/myStateFunction.m -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/myStateJacobian.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/myStateJacobian.m -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/pxpy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/pxpy.png -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/pxpy_451.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/pxpy_451.png -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/pxpz.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/pxpz.png -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/quadrotor_nlmpc.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/quadrotor_nlmpc.m -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/quadrotor_nlmpc_u.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/quadrotor_nlmpc_u.csv -------------------------------------------------------------------------------- /deprecated/matlab_codes/quadrotor_nlmpc/quadrotor_nlmpc_x.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/matlab_codes/quadrotor_nlmpc/quadrotor_nlmpc_x.csv -------------------------------------------------------------------------------- /deprecated/nn_partition/.gitignore: -------------------------------------------------------------------------------- 1 | pkls/ -------------------------------------------------------------------------------- /deprecated/nn_partition/example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/example.py -------------------------------------------------------------------------------- /deprecated/nn_partition/experiments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/experiments.py -------------------------------------------------------------------------------- /deprecated/nn_partition/models/model_files/2_50_2_relu_0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/models/model_files/2_50_2_relu_0 -------------------------------------------------------------------------------- /deprecated/nn_partition/models/model_files/2_50_2_tanh_0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/models/model_files/2_50_2_tanh_0 -------------------------------------------------------------------------------- /deprecated/nn_partition/models/models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/models/models.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/analyzers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/analyzers/__init__.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/analyzers/dynamics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/analyzers/dynamics.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/analyzers/rl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/analyzers/rl.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/utils/data_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/utils/data_utils.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/utils/expt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/utils/expt.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/utils/jul.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/utils/jul.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/utils/object_boundary.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/utils/object_boundary.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/utils/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/utils/utils.py -------------------------------------------------------------------------------- /deprecated/nn_partition/nn_partition/utils/xiang.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/nn_partition/utils/xiang.py -------------------------------------------------------------------------------- /deprecated/nn_partition/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/setup.py -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/animate_agsg_crown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/animate_agsg_crown -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/animate_gsg_crown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/animate_gsg_crown -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/animate_sg_crown: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/animate_sg_crown -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig4a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig4a -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig4b: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig4b -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig4c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig4c -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig5a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig5a -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig5b: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig5b -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig5c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig5c -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig5d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig5d -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig6a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig6a -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/lcss21_figures/fig6b: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/lcss21_figures/fig6b -------------------------------------------------------------------------------- /deprecated/nn_partition/tests/test_open_loop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/nn_partition/tests/test_open_loop.py -------------------------------------------------------------------------------- /deprecated/setup_old.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/setup_old.py -------------------------------------------------------------------------------- /deprecated/tmp/tanh.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/tmp/tanh.pkl -------------------------------------------------------------------------------- /deprecated/train.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/deprecated/train.sh -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /docs/_static/access21/3d_quadrotor/ClosedLoopNoPartitioner.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/3d_quadrotor/ClosedLoopNoPartitioner.gif -------------------------------------------------------------------------------- /docs/_static/access21/3d_quadrotor/quadrotor_None_CROWN_tmax_1.2_lp_8_output_feedback.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/3d_quadrotor/quadrotor_None_CROWN_tmax_1.2_lp_8_output_feedback.png -------------------------------------------------------------------------------- /docs/_static/access21/3d_quadrotor/quadrotor_None_CROWN_tmax_1.2_lp_8_state_feedback.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/3d_quadrotor/quadrotor_None_CROWN_tmax_1.2_lp_8_state_feedback.png -------------------------------------------------------------------------------- /docs/_static/access21/access21.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/access21.md -------------------------------------------------------------------------------- /docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_16_16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_16_16.png -------------------------------------------------------------------------------- /docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_2_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_2_2.png -------------------------------------------------------------------------------- /docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_4_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_4_4.png -------------------------------------------------------------------------------- /docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_8_8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/backreach/double_integrator_None_CROWN_polytope_8_partitions_8_8.png -------------------------------------------------------------------------------- /docs/_static/access21/partitions/ClosedLoopGreedySimGuidedPartitioner0.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/partitions/ClosedLoopGreedySimGuidedPartitioner0.gif -------------------------------------------------------------------------------- /docs/_static/access21/partitions/ClosedLoopGreedySimGuidedPartitioner4.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/partitions/ClosedLoopGreedySimGuidedPartitioner4.gif -------------------------------------------------------------------------------- /docs/_static/access21/partitions/ClosedLoopSimGuidedPartitioner.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/partitions/ClosedLoopSimGuidedPartitioner.gif -------------------------------------------------------------------------------- /docs/_static/access21/partitions/ClosedLoopUnGuidedPartitioner.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/partitions/ClosedLoopUnGuidedPartitioner.gif -------------------------------------------------------------------------------- /docs/_static/access21/reachlp_vs_reachsdp/runtime_vs_error_2021_07_21__12_33_20_reachable.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/reachlp_vs_reachsdp/runtime_vs_error_2021_07_21__12_33_20_reachable.png -------------------------------------------------------------------------------- /docs/_static/access21/reachlp_vs_reachsdp/runtime_vs_error_2021_07_21__12_33_20_timestep.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/reachlp_vs_reachsdp/runtime_vs_error_2021_07_21__12_33_20_timestep.png -------------------------------------------------------------------------------- /docs/_static/access21/systems/duffing_None_CROWN_tmax_0.3_lp_8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/systems/duffing_None_CROWN_tmax_0.3_lp_8.png -------------------------------------------------------------------------------- /docs/_static/access21/systems/iss_None_CROWN_tmax_0.2_lp_8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/access21/systems/iss_None_CROWN_tmax_0.2_lp_8.png -------------------------------------------------------------------------------- /docs/_static/cdc22/cdc22.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/cdc22/cdc22.md -------------------------------------------------------------------------------- /docs/_static/cdc22/fig3/double_integrator_r1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/cdc22/fig3/double_integrator_r1.png -------------------------------------------------------------------------------- /docs/_static/cdc22/fig3/runtime_vs_error_2022_05_30__16_03_07_timestep.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/cdc22/fig3/runtime_vs_error_2022_05_30__16_03_07_timestep.png -------------------------------------------------------------------------------- /docs/_static/cdc22/fig4/backward_reach_bifurcation_r2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/cdc22/fig4/backward_reach_bifurcation_r2.png -------------------------------------------------------------------------------- /docs/_static/cdc22/fig4/forward_reach_bifurcation_r2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/cdc22/fig4/forward_reach_bifurcation_r2.png -------------------------------------------------------------------------------- /docs/_static/cdc22/fig4/forward_reach_nominal_r2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/cdc22/fig4/forward_reach_nominal_r2.png -------------------------------------------------------------------------------- /docs/_static/cdc22/fig5/backward_lgr_buggy_demo_r1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/cdc22/fig5/backward_lgr_buggy_demo_r1.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_3/double_integrator_mpc_None_CROWN.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_3/double_integrator_mpc_None_CROWN.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_3/double_integrator_mpc_None_SDP.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_3/double_integrator_mpc_None_SDP.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_3/double_integrator_mpc_Uniform_CROWN.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_3/double_integrator_mpc_Uniform_CROWN.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_3/double_integrator_mpc_Uniform_SDP.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_3/double_integrator_mpc_Uniform_SDP.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_4/double_integrator_mpc_None_CROWN_tmax_4.0_polytope_35.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_4/double_integrator_mpc_None_CROWN_tmax_4.0_polytope_35.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_4/double_integrator_mpc_None_CROWN_tmax_4.0_polytope_4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_4/double_integrator_mpc_None_CROWN_tmax_4.0_polytope_4.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_4/double_integrator_mpc_None_CROWN_tmax_4.0_polytope_8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_4/double_integrator_mpc_None_CROWN_tmax_4.0_polytope_8.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_5/quadrotor_None_CROWN_tmax_1.2_lp_8_output_feedback.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_5/quadrotor_None_CROWN_tmax_1.2_lp_8_output_feedback.png -------------------------------------------------------------------------------- /docs/_static/icra21/fig_5/quadrotor_None_CROWN_tmax_1.2_lp_8_state_feedback.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/fig_5/quadrotor_None_CROWN_tmax_1.2_lp_8_state_feedback.png -------------------------------------------------------------------------------- /docs/_static/icra21/icra21.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/icra21.md -------------------------------------------------------------------------------- /docs/_static/icra21/other/double_integrator_None_CROWN_tmax_4.0_polytope_35.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/other/double_integrator_None_CROWN_tmax_4.0_polytope_35.png -------------------------------------------------------------------------------- /docs/_static/icra21/other/double_integrator_Uniform_CROWN_tmax_5.0_lp_8.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/icra21/other/double_integrator_Uniform_CROWN_tmax_5.0_lp_8.png -------------------------------------------------------------------------------- /docs/_static/lcss21/animations/GSG_CROWN_random_relu_lowerbnds.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/animations/GSG_CROWN_random_relu_lowerbnds.gif -------------------------------------------------------------------------------- /docs/_static/lcss21/animations/GreedySimGuidedPartitioner.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/animations/GreedySimGuidedPartitioner.gif -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_4/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_4/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_4/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_linf_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_4/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_linf_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_4/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_lower_bnds_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_4/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_lower_bnds_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_5/random_weights_relu_AdaptiveGreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_5/random_weights_relu_AdaptiveGreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_5/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_5/random_weights_relu_GreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_5/random_weights_relu_SimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_5/random_weights_relu_SimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_5/random_weights_relu_SimGuided_IBP_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_5/random_weights_relu_SimGuided_IBP_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_6/robot_arm_tanh_AdaptiveGreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_6/robot_arm_tanh_AdaptiveGreedySimGuided_CROWN_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/fig_6/robot_arm_tanh_SimGuided_IBP_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/fig_6/robot_arm_tanh_SimGuided_IBP_LIRPA_interior_condition_convex_hull_num_simulations_10000.0_termination_condition_type_time_budget_termination_condition_value_2.0.png -------------------------------------------------------------------------------- /docs/_static/lcss21/lcss21.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/lcss21/lcss21.md -------------------------------------------------------------------------------- /docs/_static/other.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/docs/_static/other.md -------------------------------------------------------------------------------- /mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/mypy.ini -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/pyproject.toml -------------------------------------------------------------------------------- /src/nfl_veripy/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/README.md -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/double_integrator/us.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/double_integrator/us.pkl -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/double_integrator/xs.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/double_integrator/xs.pkl -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/double_integrator2/us.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/double_integrator2/us.pkl -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/double_integrator2/xs.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/double_integrator2/xs.pkl -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/duffing/us.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/duffing/us.csv -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/duffing/xs.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/duffing/xs.csv -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/iss/iss.mat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/iss/iss.mat -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/iss/us.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/iss/us.csv -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/iss/xs.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/iss/xs.csv -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/quadrotor/us.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/quadrotor/us.pkl -------------------------------------------------------------------------------- /src/nfl_veripy/_static/datasets/quadrotor/xs.pkl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/datasets/quadrotor/xs.pkl -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/acc23_/testing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/acc23_/testing -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/access21/backreach.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/access21/backreach.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/access21/duffing.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/access21/duffing.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/access21/greedy_sim_guided.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/access21/greedy_sim_guided.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/access21/iss.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/access21/iss.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/access21/sim_guided.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/access21/sim_guided.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/cdc22/fig3a.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/cdc22/fig3a.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/cdc22/fig4a.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/cdc22/fig4a.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/cdc22/fig4b.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/cdc22/fig4b.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/cdc22/fig4c.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/cdc22/fig4c.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/cdc22/fig5.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/cdc22/fig5.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/icra21/fig3_reach_lp.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/icra21/fig3_reach_lp.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/icra21/fig3_reach_lp_partition.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/icra21/fig3_reach_lp_partition.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/icra21/fig3_reach_sdp.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/icra21/fig3_reach_sdp.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/icra21/fig3_reach_sdp_partition.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/icra21/fig3_reach_sdp_partition.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/icra21/fig4b.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/icra21/fig4b.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/icra21/fig5a.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/icra21/fig5a.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/icra21/fig5b.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/icra21/fig5b.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/jax/jax_fwd_double_integrator.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/jax/jax_fwd_double_integrator.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/jax/jax_fwd_double_integrator_jit.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/jax/jax_fwd_double_integrator_jit.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/jax/jax_fwd_quadrotor.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/jax/jax_fwd_quadrotor.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/lcss23/fig2_breachlp.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/lcss23/fig2_breachlp.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/lcss23/fig2_breachlp_iterate.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/lcss23/fig2_breachlp_iterate.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/lcss23/fig2_driphpoly1.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/lcss23/fig2_driphpoly1.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/lcss23/fig2_driphpoly5.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/lcss23/fig2_driphpoly5.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/ojcsys23/di_breach.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/ojcsys23/di_breach.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/ojcsys23/di_hybreach.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/ojcsys23/di_hybreach.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/example_configs/ojcsys23/quadrotor_hybreach.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/example_configs/ojcsys23/quadrotor_hybreach.yaml -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_100_100/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_100_100/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_100_100/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_100_100/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128_128/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128_128/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128_128/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_128_128_128/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_256_256/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_256_256/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_256_256/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_256_256/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_0/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_0/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_0/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_0/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_1/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_1/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_1/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_1/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_3/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_3/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_3/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_3/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_4/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_4/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_4/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_4/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_40/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_40/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_40/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_40/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_6/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_6/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_6/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_6/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_7/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_7/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_7/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_7/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_8/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_8/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_8/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_8/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_9/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_9/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_9/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_40_40_9/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_50_50/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_50_50/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_50_50/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_50_50/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_0/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_0/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_0/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_0/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_1/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_1/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_1/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_1/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_3/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_3/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_3/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_3/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_4/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_4/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_4/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_4/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_6/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_6/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_6/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_6/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_7/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_7/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_7/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_7/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_8/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_8/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_8/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_8/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_9/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_9/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_9/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_60_60_9/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_64_64/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_64_64/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_64_64/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_64_64/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_80_80/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_80_80/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_80_80/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_80_80/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/discrete_quad_avoid_origin_maneuver_fast_test2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/quad_avoid_origin_maneuver_fast/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/quad_avoid_origin_maneuver_fast/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/quad_avoid_origin_maneuver_fast/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/quad_avoid_origin_maneuver_fast/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/test/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/test/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/test/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/test/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/test2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/test2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/test2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/test2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/test3/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/test3/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DiscreteQuadrotor/test3/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DiscreteQuadrotor/test3/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/default/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/default/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/diverse_16_16/history.p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/diverse_16_16/history.p -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/diverse_16_16/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/diverse_16_16/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/diverse_16_16/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/diverse_16_16/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegrator/double_integrator_test_5_5_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegratorx4/simple_4_DI/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegratorx4/simple_4_DI/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/DoubleIntegratorx4/simple_4_DI/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/DoubleIntegratorx4/simple_4_DI/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/default/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/default/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/duffing_10_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/duffing_10_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/duffing_10_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/duffing_10_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/duffing_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/duffing_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/duffing_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/duffing_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/duffing_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/duffing_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Duffing/duffing_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Duffing/duffing_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity_update/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity_update/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity_update/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotDI/ground_robot_DI_avoid_origin_maneuver_velocity_update/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field3/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field3/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field3/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field3/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field4/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field4/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field4/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field4/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_complex_potential_field5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_simple_potential_field/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_simple_potential_field/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/buggy_simple_potential_field/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/buggy_simple_potential_field/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/complex_potential_field/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/complex_potential_field/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/complex_potential_field/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/complex_potential_field/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/go_straight_complex_potential_field/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/go_straight_complex_potential_field/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/GroundRobotSI/go_straight_complex_potential_field/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/GroundRobotSI/go_straight_complex_potential_field/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/default/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/default/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_10_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_10_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_10_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_10_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_10_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_10_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_10_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_10_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/1/iss_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_10_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_10_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_10_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_10_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/2/iss_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_10_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_10_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_10_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_10_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/ISS/iss_backup/3_continuous/iss_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Pendulum/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Pendulum/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Pendulum/default/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Pendulum/default/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Pendulum/default/single_pendulum_small_controller.torch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Pendulum/default/single_pendulum_small_controller.torch -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/avoid_origin_maneuver/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/avoid_origin_maneuver/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/avoid_origin_maneuver/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/avoid_origin_maneuver/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/default/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/default/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/discrete_quad_avoid_origin_maneuver_2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/discrete_quad_avoid_origin_maneuver_2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/discrete_quad_avoid_origin_maneuver_2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/discrete_quad_avoid_origin_maneuver_2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_small/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_small/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_small/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_small/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/test/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/test/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor/test/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor/test/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_8D/intermediate_policy_0.pt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_8D/intermediate_policy_0.pt -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_8D/sim_data.npy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_8D/sim_data.npy -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/avoid_origin_maneuver/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/avoid_origin_maneuver/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/avoid_origin_maneuver/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/avoid_origin_maneuver/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/default/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/default/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/discrete_quad_avoid_origin_maneuver_2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/discrete_quad_avoid_origin_maneuver_2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/discrete_quad_avoid_origin_maneuver_2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/discrete_quad_avoid_origin_maneuver_2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_small/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_small/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_small/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_small/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/quadrotor_test_5_5_5_5_5_5_5_5_5_5/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/test/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/test/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Quadrotor_v0/test/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Quadrotor_v0/test/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/README.md -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Taxinet/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Taxinet/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Taxinet/default/note.txt: -------------------------------------------------------------------------------- 1 | model.h5 converted from full_mlp_supervised.nnet -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Taxinet/from_pb/TinyTaxiNet.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Taxinet/from_pb/TinyTaxiNet.onnx -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Taxinet/from_pb/saved_model.pb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Taxinet/from_pb/saved_model.pb -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Taxinet/to_pb/saved_model.pb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Taxinet/to_pb/saved_model.pb -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Taxinet/to_pb/variables/variables.data-00000-of-00001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Taxinet/to_pb/variables/variables.data-00000-of-00001 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Taxinet/to_pb/variables/variables.index: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Taxinet/to_pb/variables/variables.index -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Unicycle/drive_in_circle_controller/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Unicycle/drive_in_circle_controller/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Unicycle/drive_in_circle_controller/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Unicycle/drive_in_circle_controller/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Unicycle/sine_wave_controller/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Unicycle/sine_wave_controller/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Unicycle/sine_wave_controller/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Unicycle/sine_wave_controller/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Unity/default/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Unity/default/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/Unity/default/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/Unity/default/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy2/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy2/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy2/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy2/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy3/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy3/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy3/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy3/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy4/model.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy4/model.h5 -------------------------------------------------------------------------------- /src/nfl_veripy/_static/models/debug/corner_policy4/model.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/_static/models/debug/corner_policy4/model.json -------------------------------------------------------------------------------- /src/nfl_veripy/analyzers/Analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/analyzers/Analyzer.py -------------------------------------------------------------------------------- /src/nfl_veripy/analyzers/ClosedLoopAnalyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/analyzers/ClosedLoopAnalyzer.py -------------------------------------------------------------------------------- /src/nfl_veripy/analyzers/ClosedLoopBackwardAnalyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/analyzers/ClosedLoopBackwardAnalyzer.py -------------------------------------------------------------------------------- /src/nfl_veripy/analyzers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/analyzers/__init__.py -------------------------------------------------------------------------------- /src/nfl_veripy/constraints/Constraints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/constraints/Constraints.py -------------------------------------------------------------------------------- /src/nfl_veripy/constraints/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/constraints/__init__.py -------------------------------------------------------------------------------- /src/nfl_veripy/constraints/constraint_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/constraints/constraint_utils.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/DiscreteQuadrotor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/DiscreteQuadrotor.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/DoubleIntegrator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/DoubleIntegrator.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/DoubleIntegratorOutputFeedback.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/DoubleIntegratorOutputFeedback.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/DoubleIntegratorx4.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/DoubleIntegratorx4.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Duffing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Duffing.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Dynamics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Dynamics.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/GroundRobotDI.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/GroundRobotDI.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/GroundRobotSI.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/GroundRobotSI.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/ISS.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/ISS.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/ISS_discrete.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/ISS_discrete.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Pendulum.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Pendulum.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Quadrotor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Quadrotor.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/QuadrotorOutputFeedback.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/QuadrotorOutputFeedback.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/QuadrotorOutputFeedback_v0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/QuadrotorOutputFeedback_v0.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Quadrotor_8D.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Quadrotor_8D.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Quadrotor_v0.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Quadrotor_v0.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Taxinet.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Taxinet.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Unicycle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Unicycle.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/Unity.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/Unity.py -------------------------------------------------------------------------------- /src/nfl_veripy/dynamics/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/dynamics/__init__.py -------------------------------------------------------------------------------- /src/nfl_veripy/elements/Element.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/elements/Element.py -------------------------------------------------------------------------------- /src/nfl_veripy/elements/GuidedElement.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/elements/GuidedElement.py -------------------------------------------------------------------------------- /src/nfl_veripy/elements/OptGuidedElement.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/elements/OptGuidedElement.py -------------------------------------------------------------------------------- /src/nfl_veripy/elements/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/elements/__init__.py -------------------------------------------------------------------------------- /src/nfl_veripy/example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/example.py -------------------------------------------------------------------------------- /src/nfl_veripy/experiments/ClosedLoopExperiments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/experiments/ClosedLoopExperiments.py -------------------------------------------------------------------------------- /src/nfl_veripy/experiments/backward_experiments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/experiments/backward_experiments.py -------------------------------------------------------------------------------- /src/nfl_veripy/experiments/experiments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/experiments/experiments.py -------------------------------------------------------------------------------- /src/nfl_veripy/experiments/expts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/experiments/expts.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/AdaptiveGreedySimGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/AdaptiveGreedySimGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/BoundarySimGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/BoundarySimGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/ClosedLoopGreedySimGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/ClosedLoopGreedySimGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/ClosedLoopNoPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/ClosedLoopNoPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/ClosedLoopPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/ClosedLoopPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/ClosedLoopSimGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/ClosedLoopSimGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/ClosedLoopUnGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/ClosedLoopUnGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/ClosedLoopUniformPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/ClosedLoopUniformPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/GreedySimGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/GreedySimGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/NoPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/NoPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/Partitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/Partitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/SimGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/SimGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/UnGuidedPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/UnGuidedPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/UniformPartitioner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/UniformPartitioner.py -------------------------------------------------------------------------------- /src/nfl_veripy/partitioners/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/partitioners/__init__.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/AutoLIRPA.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/AutoLIRPA.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/ClosedLoopAUTOLIRPAPropagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/ClosedLoopAUTOLIRPAPropagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/ClosedLoopCROWNIBPCodebasePropagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/ClosedLoopCROWNIBPCodebasePropagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/ClosedLoopJaxVerifyPropagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/ClosedLoopJaxVerifyPropagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/ClosedLoopOVERTPropagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/ClosedLoopOVERTPropagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/ClosedLoopPropagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/ClosedLoopPropagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/ClosedLoopSDPPropagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/ClosedLoopSDPPropagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/ClosedLoopSeparablePropagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/ClosedLoopSeparablePropagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/CrownIBP.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/CrownIBP.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/Propagator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/Propagator.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/SDP.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/SDP.py -------------------------------------------------------------------------------- /src/nfl_veripy/propagators/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/propagators/__init__.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/alpha-beta-crown_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/alpha-beta-crown_test.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/closed_loop_verification_jax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/closed_loop_verification_jax.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/controller_generation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/controller_generation.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/create_training_dataset.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/create_training_dataset.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/debug_polytope.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/debug_polytope.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/debug_prop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/debug_prop.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/duffing_data_generating.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/duffing_data_generating.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/generate_rpm_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/generate_rpm_data.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/iss_data_generating.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/iss_data_generating.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/mpc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/mpc.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/nn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/nn.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/nn_bounds.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/nn_bounds.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/nn_closed_loop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/nn_closed_loop.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/nn_jax.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/nn_jax.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/optimization_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/optimization_utils.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/plot_rect_prism.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/plot_rect_prism.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/reach_sdp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/reach_sdp.py -------------------------------------------------------------------------------- /src/nfl_veripy/utils/run_overt.jl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/run_overt.jl -------------------------------------------------------------------------------- /src/nfl_veripy/utils/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/utils/utils.py -------------------------------------------------------------------------------- /src/nfl_veripy/visualizers/BackwardVisualizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/visualizers/BackwardVisualizer.py -------------------------------------------------------------------------------- /src/nfl_veripy/visualizers/ForwardVisualizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/visualizers/ForwardVisualizer.py -------------------------------------------------------------------------------- /src/nfl_veripy/visualizers/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/src/nfl_veripy/visualizers/__init__.py -------------------------------------------------------------------------------- /tests/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/tests/test.py -------------------------------------------------------------------------------- /tests/test_constraints.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/neu-autonomy/nfl_veripy/HEAD/tests/test_constraints.py --------------------------------------------------------------------------------