Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.

Antoine Cailliau Axel van Lamsweerde

Published in: ACM Trans. Auton. Adapt. Syst. (2019)

Keyphrases

real time
monitoring system
probabilistic model
bayesian networks
high resolution
generative model
uncertain data
low resolution
tool wear
probabilistic logic
context sensitive
data driven
multiresolution
high quality
information systems
information retrieval
neural network
databases