Monitoring with Verified Guarantees.

Johann C. Dauer Bernd Finkbeiner Sebastian Schirmer

Published in: RV (2021)

Keyphrases

monitoring system
real time
database
databases
data mining
artificial intelligence
case study
decision support
data sets
machine learning
database systems
probabilistic model
complex event processing