Neural_CLF_generation

Requires Dreal, PyTorch, CVXPY

Dreal Install Instructions here: https://github.com/dreal/dreal4

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
.gitignore		.gitignore
Functions.py		Functions.py
NN_testing.py		NN_testing.py
README.md		README.md
Time_based_MPC.py		Time_based_MPC.py
cubic_spline_planner.py		cubic_spline_planner.py
dreal_test.py		dreal_test.py
grid_NN.py		grid_NN.py
inverted_pend_NN.py		inverted_pend_NN.py
mpc.py		mpc.py
path_following_NN.py		path_following_NN.py
t_0_NN.py		t_0_NN.py
test_clf_z3.py		test_clf_z3.py
utils.py		utils.py
z3_clf_check.py		z3_clf_check.py

Provide feedback