An Incremental Verification Algorithm for Real-Time Systems.

Avinash Sahay Jeffrey J. P. Tsai A. Prasad Sistla

Published in: Int. J. Softw. Eng. Knowl. Eng. (1999)

Keyphrases

real time systems
dynamic programming
single pass
detection algorithm
learning algorithm
incremental learning
incremental version
np hard
probabilistic model
computational efficiency
computational complexity
preprocessing
search space
segmentation algorithm