LTL Property Verification on Grid-world environment benchmark leaderboard · SOTA2 Research

LTL Property Verification on Grid-world environment

100PRISM Satisfaction ProbabilityTheorem 2 reward design

Evaluation Results

Method	Links
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		100	—
Theorem 2 reward design2026.05		83.33	—
Theorem 2 reward design2026.05		45.32	—
Theorem 2 reward design2026.05		21.69	—
Theorem 2 reward design2026.05		17.6	—
Theorem 2 reward design2026.05		10.51	—
Theorem 2 reward design2026.05		7.71	—
Theorem 2 reward design2026.05		7.39	—
Theorem 2 reward design2026.05		2.07	—