Further steps towards efficient runtime verification: handling probabilistic cost models.

Antonio Filieri Carlo Ghezzi

Published in: FormSERA@ICSE (2012)

Keyphrases

probabilistic model
real time
database
data sets
neural network
genetic algorithm
artificial intelligence
knowledge base
prior knowledge
model selection
complex systems
cost effective
conditional probabilities
probabilistic reasoning
accurate models
storage cost