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

Home/Benchmarks

Policy Synthesis on wlan3 Pmax

0.047Time (s)

PRISM

Updated 1mo ago

Evaluation Results

Method	Links
PRISM 2025.06		0.047	-
SHARP 2025.06		5.28	0.01

SOTA Paper

PRISM

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

Dataset

wlan3

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 firewire Rmin Policy Synthesis on arenas Rmin 16

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs