Monitoring with Verified Guarantees.

Johann C. Dauer Bernd Finkbeiner Sebastian Schirmer

Published in: CoRR (2021)

Keyphrases

monitoring system
real time
multiresolution
databases
real world
artificial intelligence
e learning
expert systems
information technology
evolutionary algorithm
decision support
continuous monitoring
activity monitoring