Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Policy Synthesis on wlan3 Pmax benchmark leaderboard · SOTA2 Research

Research Benchmarks

Policy Synthesis on wlan3 Pmax

0.047Time (s)PRISM

Updated 3mo ago

Evaluation Results

Method	Links
PRISM2025.06		0.047	—
SHARP2025.06		5.28	0.01

SOTA Paper

PRISM

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

Dataset

wlan3

Follow for updates

Join SOTA2 Contact

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