aaai22_re
Repeatibility evaluation for "Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes" (AAAI'22)
Science Score: 41.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
-
○.zenodo.json file
-
✓DOI references
Found 1 DOI reference(s) in README -
✓Academic publication links
Links to: arxiv.org -
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (6.0%) to scientific vocabulary
Repository
Repeatibility evaluation for "Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes" (AAAI'22)
Basic Info
- Host: GitHub
- Owner: JuliaReach
- License: mit
- Language: C++
- Default Branch: master
- Size: 3.27 MB
Statistics
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
AAAI22_RE
Repeatibility evaluation for "Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes" (AAAI'22) by Christian Schilling, Marcelo Forets, and Sebastián Guadalupe. See the arXiv preprint here: arXiv:2112.09197.
The article was published at the 36th AAAI Conference on Artificial Intelligence, held February 22 - March 1, 2022.
The instructions to run the experiments for each tool can be found in their respective folder (JuliaReach and Sherlock).
📜 How to cite
If you use this package in your work, please cite it using the metadata in CITATION.bib.
Click to see BibTeX entry.
``` @inproceedings{SchillingFG22, author = {Christian Schilling and Marcelo Forets and Sebasti{\'{a}}n Guadalupe}, title = {Verification of Neural-Network Control Systems by Integrating {T}aylor Models and Zonotopes}, booktitle = {{AAAI}}, pages = {8169--8177}, publisher = {{AAAI} Press}, year = {2022}, url = {https://ojs.aaai.org/index.php/AAAI/article/view/20790}, doi = {10.1609/aaai.v36i7.20790} } ```Owner
- Name: JuliaReach
- Login: JuliaReach
- Kind: organization
- Website: http://juliareach.com/
- Twitter: JuliaReach
- Repositories: 31
- Profile: https://github.com/JuliaReach
Reachability Computations for Dynamical Systems in Julia
Citation (CITATION.bib)
@inproceedings{SchillingFG22,
author = {Christian Schilling and
Marcelo Forets and
Sebasti{\'{a}}n Guadalupe},
title = {Verification of Neural-Network Control Systems by Integrating {T}aylor
Models and Zonotopes},
booktitle = {{AAAI}},
pages = {8169--8177},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/AAAI/article/view/20790},
doi = {10.1609/aaai.v36i7.20790}
}
GitHub Events
Total
Last Year
Committers
Last synced: over 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| Marcelo Forets | m****s@g****m | 8 |
| schillic | g****t@c****t | 5 |
| Christian Schilling | a****t@c****t | 3 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: about 1 year ago
All Time
- Total issues: 0
- Total pull requests: 4
- Average time to close issues: N/A
- Average time to close pull requests: about 5 hours
- Total issue authors: 0
- Total pull request authors: 1
- Average comments per issue: 0
- Average comments per pull request: 0.0
- Merged pull requests: 4
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
Pull Request Authors
- mforets (4)