Share your thoughts, 1 month free Claude Pro on usSee more

Home/Benchmarks

POMDP Policy Synthesis on cards-added-5

19,603|B|

STORM

Updated 19d ago

Evaluation Results

Method	Links
STORM 2026.05		19,603	-	-	93	0.51

SOTA Paper

STORM

The Probabilistic Model Checker Storm

Dataset

Cards

Follow for update

@wizwand_team Discord

Related Benchmarks

Policy Synthesis on Grid-world POMDP Policy Synthesis on hallway POMDP Policy Synthesis on cards-removed 2 POMDP Policy Synthesis on cards-removed 3 POMDP Policy Synthesis on cards removed-4

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs