Sign in

Monitoring Hyperproperties with Prefix Transducers.

Marek ChalupaThomas A. Henzinger
Published in: RV (2023)
Keyphrases
  • monitoring system
  • real time
  • data structure
  • database
  • tree structure
  • early warning
  • health monitoring
  • intensive care
  • machine learning
  • multi agent systems
  • decision support
  • finite automata
  • prefix tree