Login / Signup

Constraint-Based Monitoring of Hyperproperties.

Christopher HahnMarvin StengerLeander 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