Artifact for "Robust Verification of Concurrent Stochastic Games"

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

Read full text
Authors: Angel Yong He, David Parker
DOI: 10.5281/zenodo.18189280
Cited by: 1

Abstract

This artifact accompanies the TACAS 2026 paper: "Robust Verification of Concurrent Stochastic Games". Angel Y. He and David Parker It provides an implementation of Interval Concurrent Stochastic Games (ICSGs) and robust verification algorithms, integrated into an extension of the PRISM-games model checker, and includes scripts for reproducing the main experimental results reported in the TACAS 2026 paper.

Publication details

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