ResearchDatasetsMulti-bridge network maintenance induced DTMCFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsProbabilistic Model CheckingMulti-bridge network maintenance induced DTMC1.17Result Value4