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

Home/Benchmarks

Policy Synthesis on consensus Pmax

0.735Time (s)

PRISM

Updated 1mo ago

Evaluation Results

Method	Links
PRISM 2025.06		0.735	-
SHARP 2025.06		5.414	0.14

SOTA Paper

PRISM

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement

Dataset

Consensus

Follow for update

@wizwand_team Discord

Related Benchmarks

Policy Synthesis on Warehouse MDPs Property: Pmax F “goal” W512 W1024 Policy Synthesis on Warehouse MDPs Property: Rmin R{“steps”}min=? [F “goal”] W512/W1024 Policy Synthesis on arenas8 Rmin Policy Synthesis on wlan3 Pmax Policy Synthesis on firewire Rmin

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs