List your company

POMDP Policy Synthesis on cards-added-3

0.03Execution TimePAYNT
-0.44082.73715.9159.0929May 14, 2026

Evaluation results

MethodLinks
PAYNT|S|=94, |Z|=10, alpha=0.52026.050.032———
STORM|S|=94, |Z|=10, alpha=0.52026.051——32062
Cplus(S, S)|S|=94, |Z|=10, alpha=0.52026.0510.66215——
Cplus(D, S)|S|=94, |Z|=10, alpha=0.52026.0511.8294——