Login / Signup
A Generic Approach on How to Formally Specify and Model Check Path Finding Algorithms: Dijkstra, A* and LPA.
Kazuhiro Ogata
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2020)
Keyphrases
</>
theoretical analysis
search algorithm
shortest path
orders of magnitude
path finding
learning algorithm
data structure
artificial neural networks
prior knowledge