Published April 28, 2023
| Version 0.4
Software
Open
Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'
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 | Download all |
|---|---|---|
|
md5:a6ad798280a854917430bbc293fd1693
|
1.7 GB | Preview Download |