VeriTree
Science Score: 67.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 1 DOI reference(s) in README -
✓Academic publication links
Links to: acm.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (9.9%) to scientific vocabulary
Repository
Statistics
- Stars: 2
- Watchers: 2
- Forks: 1
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Safety Verification of Decision-Tree Policies in Continuous Time
This is the repeatability package for the NeurIPS 2023 paper of the same title. To cite the work, please use this citation:
@inproceedings{SchillingLDL23,
author = {Christian Schilling and
Anna Lukina and
Emir Demirovi{\'{c}} and
Kim Guldstrand Larsen},
title = {Safety verification of decision-tree policies in continuous time},
booktitle = {{NeurIPS}},
volume = {36},
pages = {14750--14769},
publisher = {Curran Associates, Inc.},
year = {2024},
url = {https://dl.acm.org/doi/10.5555/3666122.3666772}
}
Installation
The following has been tested on an Ubuntu Linux computer, but it should work across several major platforms.
Install a Julia compiler for your system.
You can download one here.
The instructions below assume you have added the julia command to your PATH
variable.
Running
Navigate to this folder in the terminal. Run Julia with the following command.
bash
julia --project=. experiments/neurips2023_experiments.jl
The script tells you that it will write all plots to the folder plots.
The script also tells you that verification runs are executed twice. This is because Julia is just-in-time compiled, so the first run compiles everything; this is a common standard for just-in-time-compiled languages. Note that the scripts only run the benchmarks once.
Plotting of the quadrotor results takes a long time (~15 minutes).
Owner
- Name: VeriXAI
- Login: VeriXAI
- Kind: organization
- Repositories: 2
- Profile: https://github.com/VeriXAI
Citation (CITATION.bib)
@inproceedings{SchillingLDL23,
author = {Christian Schilling and
Anna Lukina and
Emir Demirovi{\'{c}} and
Kim Guldstrand Larsen},
title = {Safety verification of decision-tree policies in continuous time},
booktitle = {{NeurIPS}},
volume = {36},
pages = {14750--14769},
publisher = {Curran Associates, Inc.},
year = {2023},
url = {https://proceedings.neurips.cc//paper_files/paper/2023/hash/2f89a23a19d1617e7fb16d4f7a049ce2-Abstract-Conference.html}
}
GitHub Events
Total
- Watch event: 1
Last Year
- Watch event: 1