Improved Reachability Analysis in DTMC via Divide and Conquer

Songzheng Song, Lin Gui 0002, Jun Sun 0001, Yang Liu, Jin Song Dong. Improved Reachability Analysis in DTMC via Divide and Conquer. In Einar Broch Johnsen, Luigia Petre, editors, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Volume 7940 of Lecture Notes in Computer Science, pages 162-176, Springer, 2013. [doi]

Abstract

Abstract is missing.