A Practical and Complete Algorithm for Testing Real-Time Systems.

Rachel Cardell-Oliver Tim Glover

Published in: FTRTFT (1998)

Keyphrases

real time systems
detection algorithm
k means
cost function
np hard
learning algorithm
objective function
computational complexity
optimal solution
expectation maximization
preprocessing
real time
dynamic programming
open source
artificial intelligence
computational efficiency
solution quality