Efficient Timing Analysis Algorithms for Timed State Space Exploration.
Wendy BelluominiChris J. MyersPublished in: ASYNC (1997)
Keyphrases
- space exploration
- computationally efficient
- optimization problems
- computationally complex
- genetic algorithm
- computationally expensive
- decision making
- significant improvement
- theoretical analysis
- benchmark datasets
- orders of magnitude
- computationally intensive
- state space
- decision trees
- highly efficient
- efficient solutions
- learning algorithm
- neural network