Monitoring Hyperproperties With Prefix Transducers.

Marek Chalupa Thomas A. Henzinger

Published in: CoRR (2023)

Keyphrases

monitoring system
real time
data structure
multi agent
decision support system
decision support
condition monitoring
genetic algorithm
information systems
e learning
medical images
early warning
situational awareness