Improved Reachability Analysis in DTMC via Divide and Conquer.

Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong

Browse the full IFM paper archive.