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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Debraj Chakraborty, Anirban Majumdar, Prince Mathew, Sayan Mukherjee, Jean-Francois Raskin
DOI: 10.5281/zenodo.20084734
Cited by: 1

Abstract

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.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 May 2026