Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

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

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • بيانات النشر:
      Zenodo
    • الموضوع:
      2023
    • Collection:
      Zenodo
    • نبذة مختصرة :
      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.
    • Relation:
      https://doi.org/10.5281/zenodo.7762229; https://doi.org/10.5281/zenodo.7997524; oai:zenodo.org:7997524
    • الرقم المعرف:
      10.5281/zenodo.7997524
    • الدخول الالكتروني :
      https://doi.org/10.5281/zenodo.7997524
    • Rights:
      info:eu-repo/semantics/openAccess ; Creative Commons Attribution 4.0 International ; https://creativecommons.org/licenses/by/4.0/legalcode
    • الرقم المعرف:
      edsbas.314B51EB