Programs as Paths: An Approach to Timing Constraint Analysis.

Published in: ICFEM (2003)

Keyphrases

quantitative analysis
real time
statistical analysis
neural network
information retrieval
multi agent
search algorithm
search space
mobile robot