Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/aria-systems-group/hsvi-rp

https://github.com/aria-systems-group/hsvi-rp

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ○
    .zenodo.json file
  • ✓
    DOI references
    Found 2 DOI reference(s) in README
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (6.1%) to scientific vocabulary
Last synced: 9 months ago · JSON representation

Repository

Basic Info
  • Host: GitHub
  • Owner: aria-systems-group
  • Language: Julia
  • Default Branch: main
  • Size: 11.2 MB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created about 2 years ago · Last pushed about 1 year ago
Metadata Files
Readme

README.md

Julia

All code for this project is written in Julia v1.8. The language can be downloaded here.

Initialization

Before running any benchmarks, ensure that the package is instantiated.

julia

using Pkg

Pkg.activate("examples")

Pkg.precompile()

Running the models

The following models are available: crpyt4, drone-4-1, drone-4-2, gridavoid4, gridavoid10, gridavoid20, nrp8, refuel06, refuel08, refuel20, rocks12

To run all the benchmarks, run the bash script

./benchmark.sh

You can also run each model benchmark separately. For example, to run nrp8, run

julia examples/run_nrp8.jl

The results logs for each benchmark can be found in the original_results folder.

Comparison algorithms

To reproduce results for SARSOP, run benchmark_sarsop.sh.

To reproduce results for STORM, PAYNT, SAYNT, and Overapp use the toolbox artifact from the SAYNT paper. The experiment.py config is available in /original_results/config/experiments.py.

To reproduce the results for PRISM, use the PRISM Model Checker.

Owner

  • Name: ARIA Systems Group
  • Login: aria-systems-group
  • Kind: organization
  • Location: Smead Aerospace Engineering Sciences at the University of Colorado Boulder

GitHub Events

Total
  • Push event: 2
  • Create event: 1
Last Year
  • Push event: 2
  • Create event: 1