The Complexity of Monitoring Hyperproperties.

Borzoo Bonakdarpour Bernd Finkbeiner

Published in: CoRR (2021)

Keyphrases

computational complexity
real time
worst case
monitoring system
databases
space complexity
database
neural network
artificial intelligence
social networks
information systems
decision trees
control system