Published April 28, 2023 | Version 0.5
Software Open

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'

Authors/Creators

  • 1. Brno University of Technology: Brno, CZ
  • 2. RWTH Aachen University: Aachen, Nordrhein-Westfalen, DE
  • 3. Radboud University: Nijmegen, NL

Description

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'  (CAV 2023).

This repository includes:
- the Docker image containing the software used in the experiments along with the investigated benchmarks and original log files
- a guide for replicating the experiments presented in the publication
- two versions of the paper: the initial submission and the final version with the revised experiments

Files

artifact.zip

Files (1.7 GB)

Name Size
md5:15b76cf14bb810c728d6a283552fd9a7
1.7 GB Preview Download