Monitoring Hyperproperties with Prefix Transducers.

Marek Chalupa Thomas 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