List your company

POMDP Policy Synthesis on RockSample (4, 4)

0.05Synthesis TimePAYNT
-1.25247.538816.3325.1212May 14, 2026

Evaluation results

MethodLinks
PAYNT|S|=332, |Z|=66, alpha=0.52026.050.051———
STORM|S|=332, |Z|=66, alpha=0.52026.057——4851
Cplus(S, S)|S|=332, |Z|=66, alpha=0.52026.0515.59261——
Cplus(D, S)|S|=332, |Z|=66, alpha=0.52026.0532.61122——