Incremental Runtime Verification of Probabilistic Systems.

Vojtech Forejt Marta Z. Kwiatkowska David Parker Hongyang Qu Mateusz Ujma

Published in: RV (2012)

Keyphrases

data driven
management system
automated verification
database
decision trees
bayesian networks
probability distribution
learning algorithm
information retrieval
computer systems
learning systems
petri net
posterior probability
incremental learning
face verification
asynchronous circuits
real time