共 50 条
- [7] On the Quadratic Shortest Path Problem EXPERIMENTAL ALGORITHMS, SEA 2015, 2015, 9125 : 379 - 390
- [10] Variations on the Stochastic Shortest Path Problem VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 1 - 18