Published January 8, 2026
| Version tacas-26
Software
Open
Artifact for "Robust Verification of Concurrent Stochastic Games"
Description
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.
Files
prism-games-tacas-26.zip
Files
(167.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:053e0feb5c6a5ef4132ad489baf9edbe
|
167.4 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/7angel4/prism-games/tree/tacas-26
- Programming language
- Java
- Development Status
- Active