Published August 13, 2025 | Version v1
Software Open

Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis

Authors/Creators

  • 1. ROR icon Saarland University
  • 2. EDMO icon Katholieke Universiteit Leuven

Contributors

Contact person:

Researcher:

  • 1. ROR icon Saarland University

Description

This codebase was used for ECAI'25: Policy Safety Testing in Non-Deterministic Planning: Fuzzing, Test Oracles, Fault Analysis

 

There are three folders containing the code, benchmarks (JANI models + policies) as well as the data used for the plots in the paper. 

 

The paper can be found here: https://doi.org/10.3233/FAIA251388

Files

benchmarks.zip

Files (325.9 MB)

Name Size Download all
md5:8a49a9c2ad715bb81dd1e2abfc20f9e5
11.5 MB Preview Download
md5:3885a1c4eff6aa2f4d3447b82006b4d7
176.2 MB Preview Download
md5:e8eb1cb320e23ecdb57ad0729a8cf06b
138.2 MB Preview Download

Additional details

Related works

Is supplement to
Publication: http://fai.cs.uni-saarland.de/jain/papers/ecai25.pdf (URL)

Funding

European Commission
TUPLES - Trustworthy Planning and Scheduling with Learning and Explanations 101070149

Software

Programming language
C++ , JSON
Development Status
Active