dreal / paper Public

Repository for some early dReal papers

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 453 Commits
delta_complete_decision_procedures_over_the_reals		delta_complete_decision_procedures_over_the_reals
delta_decidability_over_the_reals		delta_decidability_over_the_reals
delta_reachability		delta_reachability
descriptive_control_theory		descriptive_control_theory
distributed_cps		distributed_cps
dreach_tool		dreach_tool
dreal_tool		dreal_tool
extract_proofs		extract_proofs
floating_point_bugs		floating_point_bugs
hormone_therapy_for_prostate_cancer		hormone_therapy_for_prostate_cancer
network		network
parameter_identification_biological_hybrid_systems		parameter_identification_biological_hybrid_systems
probabilistic_delta_reachability		probabilistic_delta_reachability
quantified_reasoning_over_the_reals		quantified_reasoning_over_the_reals
revisiting_the_complexity_of_stability_of_continuous_and_hybrid_systems		revisiting_the_complexity_of_stability_of_continuous_and_hybrid_systems
satisfiability_modulo_odes		satisfiability_modulo_odes
statistical_reachability		statistical_reachability
test_and_infer		test_and_infer
.gitignore		.gitignore
.mailmap		.mailmap
.travis.yml		.travis.yml
Makefile		Makefile
README.md		README.md
ref.bib		ref.bib