Monitoring Arithmetic Temporal Properties on Finite Traces.

Paolo Felli Marco Montali Fabio Patrizi Sarah Winkler

Published in: AAAI (2023)

Keyphrases

temporal properties
model checking
monitoring system
formal methods
possibility theory
real time
probability distribution
genetic algorithm
high level
multi agent
cooperative
general purpose