Login / Signup

Efficient monitoring of hyperproperties using prefix trees.

Bernd FinkbeinerChristopher HahnMarvin StengerLeander Tentrup
Published in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
  • data sets
  • decision trees
  • decision making
  • tree structure
  • cost effective
  • tree construction
  • real time
  • neural network
  • e learning
  • multiscale
  • computationally expensive
  • tree structures
  • prefix tree