Efficient Monitoring of Hyperproperties using Prefix Trees.

Bernd Finkbeiner Christopher Hahn Marvin Stenger Leander Tentrup

Published in: CoRR (2021)

Keyphrases

tree structure
neural network
real time
real world
computationally expensive
databases
website
data structure
lightweight