Optimal paths in weighted timed automata.
Rajeev AlurSalvatore La TorreGeorge J. PappasPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- timed automata
- optimal path
- path planning
- model checking
- reachability analysis
- shortest path
- voronoi diagram
- theorem prover
- theorem proving
- path finding
- first order logic
- path planning algorithm
- real time systems
- optimal solution
- e learning
- weighted graph
- evolutionary algorithm
- website
- genetic algorithm
- machine learning
- databases