Optimal Paths in Weighted Timed Automata.
Rajeev AlurSalvatore La TorreGeorge J. PappasPublished in: HSCC (2001)
Keyphrases
- timed automata
- optimal path
- model checking
- shortest path
- path planning
- voronoi diagram
- reachability analysis
- theorem prover
- data sets
- first order logic
- weighted sum
- theorem proving
- real time systems
- temporal logic
- image processing
- path finding
- path planning algorithm
- multi agent
- website
- information retrieval
- image segmentation
- neural network
- databases
- software engineering