ResearchBenchmarksMinimal Entropy Strategy Synthesis on MDP M4Follow0.693EntAnsAlgoEnt0.658350.6756750.6930.710325Jun 19, 2026Evaluation ResultsMethodMethodLinksEntAnsEntOptAlgoEntType=MC, #States=5, K=2Type=MC, #States=5, K=22026.060.6930.304