List your company

POMDP Policy Synthesis on cheese-maze

0.01Execution TimePAYNT
-9.255253.2849115.825178.3651May 14, 2026

Evaluation results

MethodLinks
PAYNT|S|=15, |Z|=8, alpha=0.82026.050.011———
Cplus(S, S)|S|=15, |Z|=8, alpha=0.82026.052.83121——
Cplus(D, S)|S|=15, |Z|=8, alpha=0.82026.057.95141——
STORM|S|=15, |Z|=8, alpha=0.82026.05231.64——1.799