There is a newer version of the record available.

Published March 23, 2023 | Version v1
Software Open

Artifact of "Probabilistic Black-Box Checking via Active MDP Learning"

Authors/Creators

  • 1. Anonymous

Description

This artifact accompanies our manuscript "Probabilistic Black-Box Checking via Active MDP Learning" and includes two components: ProbBBC and ProbBlackReach.

The artifact structure is as follows:

- `README.md`: this file
- `ProbBBC.zip`: a zip file containing ProbBBC
    - `README.md`: a readme file for ProbBBC, including installation instructions
- `prob-black-reach.zip`: a zip file containing our modified version of prob-black-reach. The original version is available from https://github.com/mtappler/prob-black-reach.

Files

prob-black-reach.zip

Files (37.4 MB)

Name Size Download all
md5:fc996a38e8e6e1aec56e59513b81cd97
2.0 MB Preview Download
md5:5572a42653c28027448339cc30b56d1d
35.5 MB Preview Download
md5:93e09a4ee98cf12e053400d69bb9b531
3.0 kB Preview Download