Published May 8, 2026 | Version v2
Software Open

Artifact for "Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning"

Authors/Creators

  • 1. Nanyang Technological University
  • 2. ROR icon Tata Institute of Fundamental Research
  • 3. Université libre de Bruxelles
  • 4. IITB Trust Lab, Department of CSE, IIT Bombay
  • 5. ROR icon Université Libre de Bruxelles

Description

This is an artifact of the paper "Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning", to appear in CAV 2026. This contains a Docker image and instructions to reproduce the results in the paper.

Files

artifact.zip

Files (2.2 GB)

Name Size
md5:c1789211614752cdc7598ef4565a3335
2.2 GB Preview Download

Additional details

Software

Repository URL
https://github.com/mukherjee-sayan/pomdp-policy-synth
Programming language
Python
Development Status
Active