Name		Name	Last commit message	Last commit date
Latest commit History 1 Commits
IP_decisions		IP_decisions
data		data
figures		figures
motivating_experiment		motivating_experiment
zmodels		zmodels
zresults		zresults
README.md		README.md
data_efficiency.pdf		data_efficiency.pdf
data_efficiency_2.pdf		data_efficiency_2.pdf
data_processing.ipynb		data_processing.ipynb
decision_path_verification.ipynb		decision_path_verification.ipynb
decision_tree.pkl		decision_tree.pkl
decision_tree.png		decision_tree.png
decision_tree_tucson.pkl		decision_tree_tucson.pkl
depth_vs_accuracy.png		depth_vs_accuracy.png
generate_decision_data.ipynb		generate_decision_data.ipynb
learn_decision_tree.ipynb		learn_decision_tree.ipynb
pareto_graph.pdf		pareto_graph.pdf
pareto_graph_tucson.pdf		pareto_graph_tucson.pdf
probabilistic_verification.ipynb		probabilistic_verification.ipynb
sampling_distribution.ipynb		sampling_distribution.ipynb
show_results.ipynb		show_results.ipynb
show_results_tucson.ipynb		show_results_tucson.ipynb
temp_tree.pkl		temp_tree.pkl
test_data_pittsburgh.csv		test_data_pittsburgh.csv
test_data_tucson.csv		test_data_tucson.csv
two_paretos.pdf		two_paretos.pdf
verification_result_pittsburgh.csv		verification_result_pittsburgh.csv
verify_data_pittsburgh.csv		verify_data_pittsburgh.csv
z_pipeline.py		z_pipeline.py
z_probabilistic_verification_experiment		z_probabilistic_verification_experiment

Repository files navigation

Veri HVAC

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages