Login / Signup
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.
Jeffrey J. P. Tsai
Eric Y. T. Juan
Avinash Sahay
Published in:
IEEE Trans. Knowl. Data Eng. (2003)
Keyphrases
</>
probabilistic model
objective function
mathematical model
real time systems
cost function
recognition algorithm
k means
learning algorithm
real time
np hard
case study
high level
verification method
process model
dynamic programming
simulated annealing
pruning strategy
data streams