Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Probabilistic Model Checking on Multi-bridge network maintenance induced DTMC
Loading...
1.17
Result Value
PPO policy
-0.00988
0.296435
0.60275
0.909065
Mar 8, 2026
Result Value
Number of States (|Dπ|)
Number of Transitions
Total Execution Time (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Result Value
Number of States (|Dπ|)
Number of Transitions
Total Execution Time (s)
PPO policy
PCTL Query=P=?(♢ "budg...
2026.03
1.17
27,033
216,187
56.6
PPO policy
PCTL Query=P=?(♢ "any_...
2026.03
0.3616
5,174
31,494
6.5
PPO policy
PCTL Query=P=?(♢ "any_...
2026.03
0.1191
13,766
100,444
20.1
PPO policy
PCTL Query=P=?(♢ "fail...
2026.03
0.0355
27,856
227,468
51.1
Feedback
Search any
task
Search any
task