Login / Signup
Constraint-Based Monitoring of Hyperproperties.
Christopher Hahn
Marvin Stenger
Leander Tentrup
Published in:
TACAS (2) (2019)
Keyphrases
</>
real time
monitoring system
early warning
wide range
decision support
neural network
real world
database systems
multi agent systems
constraint satisfaction
activity monitoring