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