共 50 条
- [23] ALGORITHM 562 - SHORTEST-PATH LENGTHS [H] ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 1980, 6 (03): : 450 - 455
- [27] Variations on the Stochastic Shortest Path Problem VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 1 - 18