List your company

POMDP Policy Synthesis on cards-added 2

0.01Execution TimePAYNT
-0.06680.45160.971.4884May 14, 2026

Evaluation results

MethodLinks
PAYNT|S|=35, |Z|=8, alpha=0.52026.050.011———
STORM|S|=35, |Z|=8, alpha=0.52026.050.01——4074
Cplus(S, S)|S|=35, |Z|=8, alpha=0.52026.051.7771——
Cplus(D, S)|S|=35, |Z|=8, alpha=0.52026.051.9371——