Probabilistic Model Checking on Multi-bridge network maintenance induced DTMC
1.17Result ValuePPO policy
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| PPO policyPCTL Query=P=?(♢ "budget_empty"), B_max=102026.03 | 1.17 | 27,033 | 216,187 | 56.6 | |
| PPO policyPCTL Query=P=?(♢ "any_poor"), B_max=102026.03 | 0.3616 | 5,174 | 31,494 | 6.5 | |
| PPO policyPCTL Query=P=?(♢ "any_critical"), B_max=102026.03 | 0.1191 | 13,766 | 100,444 | 20.1 | |
| PPO policyPCTL Query=P=?(♢ "failed"), B_max=102026.03 | 0.0355 | 27,856 | 227,468 | 51.1 |