Pages that link to "Item:Q420803"
From MaRDI portal
The following pages link to K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths (Q420803):
Displaying 7 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Multi-route planning of multimodal transportation for oversize and heavyweight cargo based on reconstruction (Q2027056) (← links)
- Robust identification of nonlinear state-dependent impulsive switched system with switching duration constraints (Q2178235) (← links)
- Learning to Approximate Industrial Problems by Operations Research Classic Problems (Q5031031) (← links)
- A new $O(m+k n log overline{d})$ algorithm to find the $k$ shortest paths in acyclic digraphs (Q5134451) (← links)
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773) (← links)
- Constraint-based debugging in probabilistic model checking (Q6488104) (← links)
