Sign in
The Complexity of Monitoring Hyperproperties.
Borzoo Bonakdarpour
Bernd Finkbeiner
Published in:
CSF (2018)
Keyphrases
</>
real time
monitoring system
learning environment
computational cost
neural network
learning algorithm
computational complexity
information technology
wireless sensor networks
early warning
high computational complexity