ResearchDatasetsMulti-bridge network maintenance induced DTMCMulti-bridge network maintenance induced DTMCFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsProbabilistic Model CheckingMulti-bridge network maintenance induced DTMC1.17Result Value4